|
| Registry_server () |
| Create a new server loop object for the main thread of the task.
|
|
| Registry_server (l4_utcb_t *, L4::Cap< L4::Thread > server, L4::Cap< L4::Factory > factory) |
| Create a new server loop object for an arbitrary thread and factory.
|
|
| Registry_server (L4::Cap< L4::Thread > server, L4::Cap< L4::Factory > factory) |
| Create a new server loop object for an arbitrary thread and factory.
|
|
Object_registry const * | registry () const |
| Return registry of this server loop.
|
|
Object_registry * | registry () |
| Return registry of this server loop.
|
|
void L4_NORETURN | loop (l4_utcb_t *utcb=l4_utcb()) |
| Start the server loop.
|
|
template<typename Printer > |
void L4_NORETURN | loop_dbg (Printer printer, l4_utcb_t *utcb=l4_utcb()) |
| Start the server loop with error printing.
|
|
| Server (l4_utcb_t *) |
| Initializes the server loop.
|
|
| Server () |
| Initializes the server loop.
|
|
template<typename DISPATCH > |
L4_NORETURN void | internal_loop (DISPATCH dispatch, l4_utcb_t *) |
| The server loop.
|
|
template<typename R > |
L4_NORETURN void | loop_noexc (R r, l4_utcb_t *u=l4_utcb()) |
| Server loop without exception handling.
|
|
template<typename EXC , typename R > |
L4_NORETURN void | loop (R r, l4_utcb_t *u=l4_utcb()) |
| Server loop with internal exception handling.
|
|
template<typename EXC , typename R , typename Printer > |
L4_NORETURN void | loop_dbg (R r, Printer p, l4_utcb_t *u=l4_utcb()) |
| Server loop with internal exception handling including message printing.
|
|
int | alloc_buffer_demand (Demand const &demand) override |
| Tells the server to allocate buffers for the given demand.
|
|
L4::Cap< void > | get_rcv_cap (int) const override |
| Returns L4::Cap<void>::Invalid, we have no buffer management.
|
|
int | realloc_rcv_cap (int) override |
| Returns -L4_ENOMEM, we have no buffer management.
|
|
int | add_timeout (Timeout *, l4_kernel_clock_t) override |
| Returns -L4_ENOSYS, we have no timeout queue.
|
|
int | remove_timeout (Timeout *) override |
| Returns -L4_ENOSYS, we have no timeout queue.
|
|
| Server_iface () |
| Make a server interface.
|
|
template<typename T > |
L4::Cap< T > | rcv_cap (int index) const |
| Get given receive buffer as typed capability.
|
|
L4::Cap< void > | rcv_cap (int index) const |
| Get receive cap with the given index as generic (void) type.
|
|