Symbol: thunk_gdb_open
sys/arch/usermode/include/thunk.h
130
int thunk_gdb_open(void);
sys/arch/usermode/usermode/kgdb_machdep.c
287
kgdb_socket = thunk_gdb_open();