debug.h File Reference

Debugging functions. More...

Macros
#define	USER_PANIC_ERR(err, msg...)
	Prints out a string, errval and then aborts the domain.
#define	USER_PANIC(msg...)   user_panic_fn(__FILE__, __func__, __LINE__, msg); \
	Prints out a string and abort the domain.

Functions
errval_t	debug_dump_hw_ptables (void)
	Dump own hw page tables.
errval_t	debug_cap_trace_ctrl (uintptr_t types, genpaddr_t start_addr, gensize_t size)
	Enable fine-grained tracing of cap operations on address range [start_addr, start_addr+size) More...
void	debug_cspace (struct capref root)
	Dump an arbitrary cspace, given the root. More...
void	debug_print_save_area (arch_registers_state_t *state)
	Print out the registers in a dispatcher save area, for trap handlers.
void	debug_dump (arch_registers_state_t *state)
	Dump out various memory regions and a partial backtrace. More...
void	user_panic_fn (const char *file, const char *func, int line, const char *msg,...)
	Print a message and abort. More...

Detailed Description

Debugging functions.

Function Documentation

errval_t debug_cap_trace_ctrl	(	uintptr_t	types,
		genpaddr_t	start_addr,
		gensize_t	size
	)

Enable fine-grained tracing of cap operations on address range [start_addr, start_addr+size)

• types enable tracing for given set of ORed ObjType_s
• start_addr start of region to trace for
• size size of region to trace for

void debug_cspace

(

struct capref

root

)

Dump an arbitrary cspace, given the root.

void debug_dump

(

arch_registers_state_t *

archregs

)

Dump out various memory regions and a partial backtrace.

Mainly for debugging traps and faults in the dispatcher handlers.

void user_panic_fn	(	const char *	file,
		const char *	func,
		int	line,
		const char *	msg,
			...
	)

Print a message and abort.

Something irrecoverably bad happened. Print a panic message, then abort.