27#include <l4/sys/kobject>
58 Switch_log_on = L4_DEBUGGER_SWITCH_LOG_ON,
59 Switch_log_off = L4_DEBUGGER_SWITCH_LOG_OFF,
72 {
return l4_debugger_set_object_name_u(
cap(), name, utcb); }
83 {
return l4_debugger_global_id_u(
cap(), utcb); }
96 {
return l4_debugger_kobj_to_id_u(
cap(), kobjp, utcb); }
110 {
return l4_debugger_query_log_typeid_u(
cap(), name, idx, utcb); }
128 char *name,
unsigned namelen,
129 char *shortname,
unsigned shortnamelen,
132 return l4_debugger_query_log_name_u(
cap(), idx, name, namelen,
133 shortname, shortnamelen, utcb);
146 {
return l4_debugger_switch_log_u(
cap(), name, on_off, utcb); }
161 {
return l4_debugger_get_object_name_u(
cap(),
id, name, size, utcb); }
174 {
return l4_debugger_add_image_info_u(
cap(), base, name, utcb); }
l4_msgtag_t add_image_info(l4_addr_t base, const char *name, l4_utcb_t *utcb=l4_utcb()) noexcept
Add loaded image information for a task.
l4_msgtag_t get_object_name(unsigned id, char *name, unsigned size, l4_utcb_t *utcb=l4_utcb()) noexcept
Get name of object with Id id.
unsigned long global_id(l4_utcb_t *utcb=l4_utcb()) noexcept
Get the globally unique ID of the object behind a capability.
long query_log_name(unsigned idx, char *name, unsigned namelen, char *shortname, unsigned shortnamelen, l4_utcb_t *utcb=l4_utcb()) noexcept
Query the name of a log type given the ID.
long query_log_typeid(const char *name, unsigned idx, l4_utcb_t *utcb=l4_utcb()) noexcept
Query the log-id for a log type.
l4_msgtag_t switch_log(const char *name, unsigned on_off, l4_utcb_t *utcb=l4_utcb()) noexcept
Set or unset log.
unsigned long kobj_to_id(l4_addr_t kobjp, l4_utcb_t *utcb=l4_utcb()) noexcept
Get the globally unique ID of the object behind the kobject pointer.
l4_msgtag_t set_object_name(const char *name, l4_utcb_t *utcb=l4_utcb()) noexcept
Set the name of a kernel object.
Helper class to create an L4Re interface class that is derived from a single base class.
l4_cap_idx_t cap() const noexcept
Return capability selector.
Debugger related definitions.
unsigned long l4_addr_t
Address type.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
L4 low-level kernel interface.
Message tag data structure.