Symbol: thunk_getchar
sys/arch/usermode/dev/ttycons.c
184
return thunk_getchar();
sys/arch/usermode/include/thunk.h
113
int thunk_getchar(void);