27#ifndef __L4SYS__INCLUDE__ARCH_AMD64__L4API_L4F__IPC_H__
28#define __L4SYS__INCLUDE__ARCH_AMD64__L4API_L4F__IPC_H__
30#include_next <l4/sys/ipc.h>
58 "memory",
"cc",
"rcx",
"r11",
"r15"
unsigned long l4_umword_t
Unsigned 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.