Symbol: GDBSTATES
src/system/kernel/debug/gdb.cpp
439
static int (*dispatch_table[GDBSTATES])(int) = {
src/system/kernel/debug/gdb.cpp
452
if (curr < INIT || curr >= GDBSTATES)