Symbol: thunk_pollchar
sys/arch/usermode/dev/ttycons.c
379
while ((c = thunk_pollchar()) >= 0) {
sys/arch/usermode/include/thunk.h
112
int thunk_pollchar(void);