47:
public L4::Kobject_t<Mmio_space, L4::Kobject, L4RE_PROTO_MMIO_SPACE>
L4::Cap related definitions.
Helper class to create an L4Re interface class that is derived from a single base class.
unsigned long long l4_uint64_t
Unsigned 64bit value.
#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)
Interface for memory-like address space accessible via IPC.
l4_uint64_t Addr
Device address.
Access_width
Actual size of the value to read or write.
Standard list of RPCs of an interface.