L4Re Operating System Framework
Interface and Usage Documentation
|
L4 IPC System Calls, ARM. More...
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. | |