|
L4Re - L4 Runtime Environment
|
Kernel debugger related functionality. More...
Collaboration diagram for Kernel Debugger: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.