26#include_next <l4/sys/ipc.h>
41 register l4_umword_t _dest __asm__(
"r2") = dest | flags;
43 register l4_mword_t _tag __asm__(
"r0") = tag.raw;
49 "blx __l4_sys_syscall \n"
56 [sc]
"i" (L4_SYSCALL_INVOKE)
58 "cc",
"memory",
"r5",
"ip",
"lr");
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 L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
#define L4_INLINE
L4 Inline function attribute.
Message tag data structure.
Syscall entry definitions.