|
L4Re - L4 Runtime Environment
|
Debugger related definitions. More...
#include <l4/sys/compiler.h>#include <l4/sys/utcb.h>#include <l4/sys/ipc.h>#include <l4/sys/kernel_object.h>
Include dependency graph for debugger.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
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... | |
| l4_msgtag_t | l4_debugger_get_object_name (l4_cap_idx_t cap, unsigned id, char *name, unsigned size) L4_NOTHROW |
Get name of the kernel object with Id id. 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... | |
| int | l4_debugger_query_log_typeid (l4_cap_idx_t cap, const char *name, unsigned idx) L4_NOTHROW |
| Query the log-id for a log type. More... | |
| int | l4_debugger_query_log_name (l4_cap_idx_t cap, unsigned idx, char *name, unsigned namelen, char *shortname, unsigned shortnamelen) L4_NOTHROW |
| Query the name of a log type given the ID. More... | |
| l4_msgtag_t | l4_debugger_switch_log (l4_cap_idx_t cap, const char *name, int on_off) L4_NOTHROW |
| Set or unset log. More... | |
Debugger related definitions.
Definition in file debugger.h.
|
inline |
Get name of the kernel object with Id id.
| cap | Capability of the debugger object. | |
| id | Global id of the object whose name is asked. | |
| [out] | name | Buffer to copy the name into. The buffer must be allocated by the caller. |
| size | Length of the name buffer. |
Definition at line 366 of file debugger.h.
|
inline |
Query the name of a log type given the ID.
| cap | Debugger capability. |
| idx | ID to query. |
| name | Buffer to copy name to. |
| namelen | Buffer length of name. |
| shortname | Buffer to copy shortname to. |
| shortnamelen | Buffer length of shortname. |
| 0 | Success |
| <0 | Error |
This is a debugging facility, the call might be invalid.
Definition at line 350 of file debugger.h.
|
inline |
Query the log-id for a log type.
| cap | Debugger capability |
| name | Name to query for. |
| idx | Idx to start searching, start with 0 |
This is a debugging facility, the call might be invalid.
Definition at line 343 of file debugger.h.
|
inline |
Set or unset log.
| cap | Debugger object. |
| name | Name of the log type. |
| on_off | 1: turn log on, 0: turn log off |
Definition at line 359 of file debugger.h.