Symbol: thunk_kgdb_putc
sys/arch/usermode/include/thunk.h
133
int thunk_kgdb_putc(int fd, char ch);
sys/arch/usermode/usermode/kgdb_machdep.c
274
while (thunk_kgdb_putc(kgdb_fd, ch) < 0) {