Symbol: thunk_putchar
sys/arch/usermode/dev/ttycons.c
190
thunk_putchar(c);
sys/arch/usermode/include/thunk.h
114
void thunk_putchar(int);