L4::Cap related definitions.
Wrapper for function calls that follow the ARM SMC/HVC calling convention.
unsigned long l4_umword_t
Unsigned machine word.
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
Interface Definition Language.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
L4 low-level kernel interface.
List of RPCs of an interface using a single operation without an opcode.
Message tag data structure.