L4::Cap related definitions.
Helper class to create an L4Re interface class that is derived from a single base class.
#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).
L4Re Protocol Constants (C version)
Standard list of RPCs of an interface.