Symbol: to_gdb_regs