15#include_next <l4/sys/ipc.h>
23struct __l4_sys_syscall_res
29extern struct __l4_sys_syscall_res
48 struct __l4_sys_syscall_res res
49 = __l4_sys_syscall(tag.raw, slabel, dest | flags, timeout.raw);
L4 compiler related defines.
unsigned long l4_umword_t
Unsigned machine word.
signed long l4_mword_t
Signed machine word.
unsigned long l4_cap_idx_t
Capability selector type.
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.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
#define __END_DECLS
End section with C types and functions.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
#define L4_INLINE
L4 Inline function attribute.
#define __BEGIN_DECLS
Start section with C types and functions.
Message tag data structure.