Barrelfish
|
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. | |
Arch specific debugging functions.
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.