L4Re Operating System Framework
Interface and Usage Documentation
|
This registry returns the corresponding server object based on the label of an Ipc_gate. More...
#include <ipc_epiface>
Static Public Member Functions | |
static Value * | find (l4_umword_t label) |
Get the server object for an Ipc_gate label. | |
static l4_msgtag_t | dispatch (l4_msgtag_t tag, l4_umword_t label, l4_utcb_t *utcb) |
The dispatch function called by the server loop. | |
This registry returns the corresponding server object based on the label of an Ipc_gate.
Definition at line 540 of file ipc_epiface.
|
inlinestatic |
The dispatch function called by the server loop.
This function forwards the message to the server object identified by the given label.
tag | The message tag used for the invocation. |
label | The label used to find the object including the rights bits of the invoked capability. |
utcb | The UTCB used for the invocation. |
Definition at line 565 of file ipc_epiface.
References L4::Epiface::dispatch(), and find().
|
inlinestatic |
Get the server object for an Ipc_gate label.
label | The label usually stored in an Ipc_gate. |
Definition at line 549 of file ipc_epiface.
Referenced by dispatch().