L4Re - L4 Runtime Environment
|
Inherits L4::Kobject_0t< Derived, PROTO, S_DEMAND >.
Public Types | |
typedef L4::Typeid::Rpc_nocode< exception_t > | Rpcs |
Exception call. More... | |
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.
typedef L4::Typeid::Rpc_nocode<exception_t> L4::Exception::Rpcs |