debug_get_debug_registers
extern struct arch_debug_registers* debug_get_debug_registers(int32 cpu);
framePointer = debug_get_debug_registers(cpu)->r1;
arch_debug_registers* registers = debug_get_debug_registers(
arch_debug_registers* registers = debug_get_debug_registers(
arch_debug_registers* registers = debug_get_debug_registers(
arch_debug_registers* registers = debug_get_debug_registers(