ipc.h File Reference

L4 IPC System Calls, ARM. More...

#include <l4/sys/compiler.h>
#include <l4/sys/syscall_defs.h>

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.

Detailed Description

L4 IPC System Calls, ARM.

Definition in file ipc.h.