L4Re Operating System Framework
Interface and Usage Documentation
|
Direct dispatch helper, for forwarding dispatch calls via a pointer to a registry R. More...
#include <ipc_server_loop>
Public Member Functions | |
Direct_dispatch (R *r) | |
Make a direct dispatcher. | |
l4_msgtag_t | operator() (l4_msgtag_t tag, l4_umword_t obj, l4_utcb_t *utcb) |
call operator forwarding to r->dispatch() | |
Data Fields | |
R * | r |
stores a pointer to the registry object | |
Direct dispatch helper, for forwarding dispatch calls via a pointer to a registry R.
R | Data type of the registry that is used for dispatching to different server objects, usually based on the protected IPC label. |
Definition at line 120 of file ipc_server_loop.