43 :
public L4::Kobject_t<Mmio_space, L4::Kobject, L4RE_PROTO_MMIO_SPACE>
Standard list of RPCs of an interface.
Access_width
Actual size of the value to read or write.
L4::Cap related definitions.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
Interface Definition Language.
l4_uint64_t Addr
Device address.
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.
L4Re Protocol Constants (C version)
Interface for memory-like address space accessible via IPC.