Arch specific debugging functions. More...

Functions
void	debug_dump (arch_registers_state_t *archregs)
	Dump out various memory regions and a partial backtrace. More...

void	debug_print_save_area (arch_registers_state_t *state)
	Print out the registers in a dispatcher save area, for trap handlers.

Detailed Description

Arch specific debugging functions.

Function Documentation

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.