L4Re - L4 Runtime Environment
ipc.h File Reference

L4 IPC System Calls, ARM. More...

+ Include dependency graph for ipc.h:

Go to the source code of this file.


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...

Detailed Description

L4 IPC System Calls, ARM.

Definition in file ipc.h.