L4Re - L4 Runtime Environment
Kernel Debugger

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...
 

Detailed Description

Kernel debugger related functionality.

Attention
This API is subject to change!

This is a debugging facility, any call to any function might be invalid. Do not rely on it in any real code.

Include File
#include <l4/sys/debugger.h>

Function Documentation

◆ l4_debugger_global_id()

unsigned long l4_debugger_global_id ( l4_cap_idx_t  cap)
inline

Get the globally unique ID of the object behind a capability.

Parameters
capCapability
Return values
~0ULCapability is not valid.
>=0Global debugger id.

This is a debugging facility, the call might be invalid.

Definition at line 331 of file debugger.h.

◆ l4_debugger_kobj_to_id()

unsigned long l4_debugger_kobj_to_id ( l4_cap_idx_t  cap,
l4_addr_t  kobjp 
)
inline

Get the globally unique ID of the object behind the kobject pointer.

Parameters
capCapability
kobjpKobject pointer
Return values
~0ULThe capability or the kobject pointer are invalid.
>=0The globally unique id.

This is a debugging facility, the call might be invalid.

Definition at line 337 of file debugger.h.

◆ l4_debugger_set_object_name()

l4_msgtag_t l4_debugger_set_object_name ( l4_cap_idx_t  cap,
const char *  name 
)
inline

Set the name of a kernel object.

Parameters
capCapability which refers to the kernel object.
nameName of the kernel object that is e.g. displayed in the kernel debugger.

This is a debugging facility, the call might be invalid.

Examples:
examples/sys/aliens/main.c.

Definition at line 324 of file debugger.h.