L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
dbg_events
1// vim:ft=cpp
2
3#pragma once
4
5#include <l4/sys/cxx/ipc_epiface>
6#include <l4/sys/utcb.h>
7#include <l4/re/remote_access>
8#include <l4/re/rm>
9
10namespace L4Re {
11struct Dbg_events : L4::Kobject_t<Dbg_events, L4::Kobject, 0,
12 L4::Type_info::Demand_t<2> >
13{
14 L4_INLINE_RPC(int, request_backtrace, (l4_exc_regs_t regs,
15 L4::Ipc::Cap<L4Re::Remote_access> raif,
16 L4::Ipc::Cap<L4Re::Rm> rmif));
17
18 typedef L4::Typeid::Rpcs<request_backtrace_t> Rpcs;
19};
20} // L4Re
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).
Definition ipc_iface:482
UTCB definitions.
L4Re C++ Interfaces.
Definition cmd_control:14
Region mapper interface.