L4Re - L4 Runtime Environment
|
A server loop object which has a Object_registry included. More...
Public Member Functions | |
Registry_server () | |
Create a new server loop object for the main thread of the task. More... | |
Registry_server (l4_utcb_t *utcb, L4::Cap< L4::Thread > server, L4::Cap< L4::Factory > factory) | |
Create a new server loop object for an arbitrary thread and factory. More... | |
Object_registry const * | registry () const |
Return registry of this server loop. More... | |
Object_registry * | registry () |
Return registry of this server loop. More... | |
void L4_NORETURN | loop () |
Start the server loop. | |
![]() | |
Server (l4_utcb_t *utcb) | |
Initializes the server loop. More... | |
template<typename DISPATCH > | |
L4_NORETURN void | internal_loop (DISPATCH dispatch) |
The server loop. More... | |
template<typename R > | |
L4_NORETURN void | loop_noexc (R r) |
Server loop without exception handling. | |
template<typename EXC , typename R > | |
L4_NORETURN void | loop (R r) |
Server loop with internal exception handling. More... | |
Additional Inherited Members | |
![]() | |
l4_msgtag_t | reply_n_wait (l4_msgtag_t reply, l4_umword_t *p) |
Internal implementation for reply and wait. | |
A server loop object which has a Object_registry included.
Definition at line 293 of file object_registry.
|
inline |
Create a new server loop object for the main thread of the task.
Definition at line 305 of file object_registry.
|
inline |
Create a new server loop object for an arbitrary thread and factory.
utcb | The UTCB of the thread running the server loop. |
server | Capability to thread running the server loop. |
factory | Capability to factory object used to create new IPC gates. |
Definition at line 315 of file object_registry.
|
inline |
Return registry of this server loop.
Definition at line 321 of file object_registry.
|
inline |
Return registry of this server loop.
Definition at line 323 of file object_registry.