Symbol: dump_regs
sys/arch/usermode/target/i386/cpu_i386.c
60
dump_regs(register_t *reg)
sys/arch/usermode/target/x86_64/cpu_x86_64.c
58
dump_regs(register_t *reg)