ipc.h File Reference

L4 IPC System Calls, x86. More...

#include <l4/sys/types.h>
#include <l4/sys/consts.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 *u, 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, x86.

Definition in file ipc.h.