L4Re - L4 Runtime Environment
|
Kernel debugger related functionality. More...
Functions | |
l4_msgtag_t | l4_debugger_set_object_name (l4_cap_idx_t cap, const char *name) L4_NOTHROW |
Set the name of a kernel object. More... | |
unsigned long | l4_debugger_global_id (l4_cap_idx_t cap) L4_NOTHROW |
Get the globally unique ID of the object behind a capability. More... | |
unsigned long | l4_debugger_kobj_to_id (l4_cap_idx_t cap, l4_addr_t kobjp) L4_NOTHROW |
Get the globally unique ID of the object behind the kobject pointer. More... | |
Kernel debugger related functionality.
This is a debugging facility, any call to any function might be invalid. Do not rely on it in any real code.
|
inline |
Get the globally unique ID of the object behind a capability.
cap | Capability |
~0UL | Capability is not valid. |
>=0 | Global debugger id. |
This is a debugging facility, the call might be invalid.
Definition at line 331 of file debugger.h.
|
inline |
Get the globally unique ID of the object behind the kobject pointer.
cap | Capability |
kobjp | Kobject pointer |
~0UL | The capability or the kobject pointer are invalid. |
>=0 | The globally unique id. |
This is a debugging facility, the call might be invalid.
Definition at line 337 of file debugger.h.
|
inline |
Set the name of a kernel object.
cap | Capability which refers to the kernel object. |
name | Name of the kernel object that is e.g. displayed in the kernel debugger. |
This is a debugging facility, the call might be invalid.
Definition at line 324 of file debugger.h.