|
l4_msgtag_t | set_object_name (const char *name, l4_utcb_t *utcb=l4_utcb()) throw () |
| Set the name of a kernel object. More...
|
|
unsigned long | global_id (l4_utcb_t *utcb=l4_utcb()) throw () |
| Get the globally unique ID of the object behind a capability. More...
|
|
unsigned long | kobj_to_id (l4_addr_t kobjp, l4_utcb_t *utcb=l4_utcb()) throw () |
| Get the globally unique ID of the object behind the kobject pointer. More...
|
|
int | query_log_typeid (const char *name, unsigned idx, l4_utcb_t *utcb=l4_utcb()) throw () |
| Query the log-id for a log type. More...
|
|
int | query_log_name (unsigned idx, char *name, unsigned namelen, char *shortname, unsigned shortnamelen, l4_utcb_t *utcb=l4_utcb()) throw () |
| Query the name of a log type given the ID. More...
|
|
l4_msgtag_t | switch_log (const char *name, unsigned on_off, l4_utcb_t *utcb=l4_utcb()) throw () |
| Set or unset log. More...
|
|
l4_msgtag_t | get_object_name (unsigned id, char *name, unsigned size, l4_utcb_t *utcb=l4_utcb()) throw () |
| Get name of object with Id id . More...
|
|
l4_msgtag_t | dec_refcnt (l4_mword_t diff, l4_utcb_t *utcb=l4_utcb()) |
| Decrement the in kernel reference counter for the object. More...
|
|
C++ kernel debugger API.
- Attention
- This API is subject to change! Do not rely on it in production code.
This API is to be used for debugging exclusively.
This is the API for accessing kernel-debugger functionality from user-level programs. Specifically, it provides functionality to enrich the kernel debugger with insights into the program. The purpose is to facilitate debugging with the kernel debugger. For instance, a developer might choose to name the threads of her program so that she can find them in the kernel debugger thread list.
This API interacts with a kernel object that interfaces with the kernel debugger, the jdb-kernel object. The jdb-kernel object is fix and only available when the kernel debugger is built into the microkernel. The developer needs to pass the capability through to her program.
- Include File
-
Definition at line 53 of file debugger.