52 public L4::Kobject_t<Debug_obj, L4::Kobject, L4RE_PROTO_DEBUG>
71template<
typename BASE>
73 public L4::Kobject_2t<Debug_obj_t<BASE>, BASE, Debug_obj, L4::PROTO_EMPTY>
L4::Cap related definitions.
Helper class to create an L4Re interface class that is derived from two base classes (see L4::Kobject...
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)
List of RPCs of an interface using a single operation without an opcode.
Standard list of RPCs of an interface.