28 #include <l4/sys/consts.h> 57 "memory",
"cc" L4S_PIC_CLOBBER
unsigned long l4_cap_idx_t
L4 Capability selector Type.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
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.
unsigned long l4_umword_t
Unsigned machine word.
Message tag data structure.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.