![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Direct dispatch helper, for forwarding dispatch calls 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 reference to the registry object | |
Direct dispatch helper, for forwarding dispatch calls 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 95 of file ipc_server_loop.