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:

Enumerations
enum	{ L4_DEBUGGER_KOBJ_SET_NAME_OP = 0UL , L4_DEBUGGER_KOBJ_GET_GLOBAL_ID_OP = 1UL , L4_DEBUGGER_KOBJ_PTR_GET_GLOBAL_ID_OP = 2UL , L4_DEBUGGER_LOG_QUERY_TYPEID_OP = 3UL , L4_DEBUGGER_LOG_SWITCH_OP = 4UL , L4_DEBUGGER_GLOBAL_ID_GET_NAME_OP = 5UL , L4_DEBUGGER_LOG_QUERY_NAME_OP = 6UL , L4_DEBUGGER_TASK_ADD_IMAGE_INFO_OP = 7UL , L4_DEBUGGER_KOBJ_GET_NAME_OP = 8UL , L4_DEBUGGER_OBJ_INFO_OP = 16UL }

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.
l4_msgtag_t	l4_debugger_query_object_name (l4_cap_idx_t cap, unsigned id, char *name, unsigned size) L4_NOTHROW
	Get name of the kernel object with Id id.
l4_msgtag_t	l4_debugger_get_object_name (l4_cap_idx_t cap, char *name, unsigned size) L4_NOTHROW
	Get name of a kernel object.
unsigned long	l4_debugger_global_id (l4_cap_idx_t cap) L4_NOTHROW
	Get the globally unique ID of the object behind a capability.
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.
long	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.
long	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.
l4_msgtag_t	l4_debugger_switch_log (l4_cap_idx_t cap, const char *name, int on_off) L4_NOTHROW
	Set or unset log.
l4_msgtag_t	l4_debugger_add_image_info (l4_cap_idx_t cap, l4_addr_t base, const char *name) L4_NOTHROW
	Add loaded image information for a task.

Detailed Description

Debugger related definitions.

Definition in file debugger.h.

Enumeration Type Documentation

anonymous enum

Enumerator
L4_DEBUGGER_KOBJ_SET_NAME_OP	Set debug name of kernel object.
L4_DEBUGGER_KOBJ_GET_GLOBAL_ID_OP	Get debug ID of kernel object.
L4_DEBUGGER_KOBJ_PTR_GET_GLOBAL_ID_OP	Get debug ID of kernel object by pointer.
L4_DEBUGGER_LOG_QUERY_TYPEID_OP	Query log-id for log type.
L4_DEBUGGER_LOG_SWITCH_OP	Enable / disable log.
L4_DEBUGGER_GLOBAL_ID_GET_NAME_OP	Get debug name of kernel object by debug ID.
L4_DEBUGGER_LOG_QUERY_NAME_OP	Get name of log type for given log-id.
L4_DEBUGGER_TASK_ADD_IMAGE_INFO_OP	Add image information for task.
L4_DEBUGGER_KOBJ_GET_NAME_OP	Get debug name of kernel object.
L4_DEBUGGER_OBJ_INFO_OP	Query information about all kernel objects.

Definition at line 234 of file debugger.h.