43 public Kobject_0t<Exception, L4_PROTO_EXCEPTION>
L4::Cap related definitions.
#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).
Common L4 ABI Data Types.
L4 low-level kernel interface.
Mark an argument as in-out argument.
Attribute for defining an optional RPC argument.
List of RPCs of an interface using a single operation without an opcode.
Message tag data structure.