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 99 of file ipc_server_loop.