debug.c File Reference

Debugging functions. More...

Functions
void	user_panic_fn (const char *file, const char *func, int line, const char *msg,...)
	Print a message and abort. More...
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...
errval_t	debug_dump_hw_ptables (void)
	Dump own hw page tables.
	STATIC_ASSERT (48==ObjType_Num,"Knowledge of all cap types")
	Function to do the actual printing based on the type of capability.
void	debug_cspace (struct capref root)
	Dump an arbitrary cspace, given the root. 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 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.