L4Re Operating System Framework
Interface and Usage Documentation
|
#include <exception>
Inherits L4::Kobject_0t< Derived, PROTO, S_DEMAND >.
Public Member Functions | |
l4_msgtag_t | exception (L4::Ipc::In_out< l4_exc_regs_t * > regs, L4::Ipc::Rcv_fpage rwin, L4::Ipc::Opt< L4::Ipc::Snd_fpage & > fp) |
Exception call. | |
Exception interface.
This class defines the interface for handling exception IPC. When an exception occurs during program execution, for example due to a division by zero, the kernel will synthesise an exception IPC and send it to the thread's exception handler, who can then handle it.
The exception handler is set with the L4::Thread::control interface.
l4_msgtag_t L4::Exception::exception | ( | L4::Ipc::In_out< l4_exc_regs_t * > | regs, |
L4::Ipc::Rcv_fpage | rwin, | ||
L4::Ipc::Opt< L4::Ipc::Snd_fpage & > | fp | ||
) |
Exception call.
regs | Register state of the faulting thread. | |
rwin | Receive window in the address space. | |
[out] | fp | Optional flex-page to resolve the exception. |