arch_debug_save_registers
void arch_debug_save_registers(struct arch_debug_registers* registers);
arch_debug_save_registers(&sDebugRegisters[cpu]);