|
L4Re - L4 Runtime Environment
|
L4 IPC System Calls, ARM. More...
Include dependency graph for ipc.h:Go to the source code of this file.
Functions | |
| l4_msgtag_t | l4_ipc (l4_cap_idx_t dest, l4_utcb_t *utcb, l4_umword_t flags, l4_umword_t slabel, l4_msgtag_t tag, l4_umword_t *rlabel, l4_timeout_t timeout) L4_NOTHROW |
| Generic L4 object invocation. More... | |