29 #include "cxx/ipc_string" 62 L4::Ipc::String<char> *name));
Standard list of RPCs of an interface.
signed long l4_mword_t
Signed machine word.
L4 low-level kernel interface.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).
unsigned long l4_umword_t
Unsigned machine word.
Interface Definition Language.
Helper class to create an L4Re interface class that is derived from a single base class...
Message tag data structure.