C++ debugger interface.
More...
|
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...
|
|
|
typedef Debugger | Class |
| The target interface type (inheriting from Kobject_t)
|
|
typedef Typeid::Iface< PROTO, Debugger > | __Iface |
| The interface description for the derived class.
|
|
typedef Typeid::Merge_list< Typeid::Iface_list< __Iface >, typename Kobject ::__Iface_list > | __Iface_list |
| The list of all RPC interfaces provided directly or through inheritance.
|
|
L4::Cap< Class > | c () const |
| Get the capability to ourselves.
|
|
l4_cap_idx_t | cap () const throw () |
| Return capability selector. More...
|
|
static void | __check_protocols__ () |
| Helper to check for protocol conflicts.
|
|
C++ debugger interface.
- Attention
- This API is subject to change! Do not rely on it in production code.
- Include File
-
Definition at line 39 of file debugger.
◆ get_object_name()
Get name of object with Id id
.
- Parameters
-
| id | 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. |
| utcb | The UTCB to use for the operation. |
- Returns
- Syscall return tag
Definition at line 145 of file debugger.
◆ global_id()
Get the globally unique ID of the object behind a capability.
- Parameters
-
utcb | The UTCB to use for the operation. |
- Return values
-
~0UL | The capability is invalid. |
>=0 | The global debugger id. |
Definition at line 68 of file debugger.
◆ kobj_to_id()
Get the globally unique ID of the object behind the kobject pointer.
- Parameters
-
kobjp | Kobject pointer |
utcb | The UTCB to use for the operation. |
- Return values
-
~0UL | The capability or the Kobject pointer are invalid. |
>=0 | The globally unique id. |
Definition at line 80 of file debugger.
◆ query_log_name()
int L4::Debugger::query_log_name |
( |
unsigned |
idx, |
|
|
char * |
name, |
|
|
unsigned |
namelen, |
|
|
char * |
shortname, |
|
|
unsigned |
shortnamelen, |
|
|
l4_utcb_t * |
utcb = l4_utcb() |
|
) |
| |
throw | ( | |
| ) | | |
|
inline |
Query the name of a log type given the ID.
- Parameters
-
| idx | ID to query. |
[out] | name | Buffer to copy name to. The buffer must be allocated by the caller. |
| namelen | Buffer length of name. |
[out] | shortname | Buffer to copy shortname to. The buffer must be allocated by the caller. |
| shortnamelen | Buffer length of shortname . |
| utcb | The UTCB to use for the operation. |
- Return values
-
Definition at line 113 of file debugger.
◆ query_log_typeid()
int L4::Debugger::query_log_typeid |
( |
const char * |
name, |
|
|
unsigned |
idx, |
|
|
l4_utcb_t * |
utcb = l4_utcb() |
|
) |
| |
throw | ( | |
| ) | | |
|
inline |
Query the log-id for a log type.
- Parameters
-
name | Name to query for. |
idx | Idx to start searching, start with 0 |
utcb | The UTCB to use for the operation. |
- Return values
-
Definition at line 94 of file debugger.
◆ set_object_name()
Set the name of a kernel object.
- Parameters
-
name | Name |
utcb | The UTCB to use for the operation. |
- Returns
- System call return tag.
Definition at line 56 of file debugger.
◆ switch_log()
Set or unset log.
- Parameters
-
name | Name of the log type. |
on_off | 1: turn log on, 0: turn log off |
utcb | The UTCB to use for the operation. |
- Returns
- Syscall return tag
Definition at line 130 of file debugger.
The documentation for this class was generated from the following file: