5#include <l4/sys/cxx/ipc_epiface>
7#include <l4/re/remote_access>
11struct Dbg_events : L4::Kobject_t<Dbg_events, L4::Kobject, 0,
12 L4::Type_info::Demand_t<2> >
15 L4::Ipc::Cap<L4Re::Remote_access> raif,
16 L4::Ipc::Cap<L4Re::Rm> rmif));
18 typedef L4::Typeid::Rpcs<request_backtrace_t> Rpcs;
struct l4_exc_regs_t l4_exc_regs_t
UTCB structure for exceptions.
#define L4_INLINE_RPC(res, name, args, attr...)
Define an inline RPC call (type and callable).