Symbol: thunk_gdb_accept
sys/arch/usermode/include/thunk.h
131
int thunk_gdb_accept(int sockfd);
sys/arch/usermode/usermode/kgdb_machdep.c
249
kgdb_fd = thunk_gdb_accept(kgdb_socket);