Symbol: arch_debug_gdb_get_registers