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