Symbol: thunk_kgdb_getc
sys/arch/usermode/include/thunk.h
132
int thunk_kgdb_getc(int fd, char *ch);
sys/arch/usermode/usermode/kgdb_machdep.c
261
while (thunk_kgdb_getc(kgdb_fd, &ch) < 0) {