Symbol: gdb_register
src/system/kernel/arch/x86/arch_debug.cpp
1297
gdb_register registers[kRegisterCount] = {
src/system/kernel/arch/x86/arch_debug.cpp
1322
gdb_register registers[kRegisterCount] = {