Symbol: thunk_idle
sys/arch/usermode/dev/cpu.c
388
thunk_idle();
sys/arch/usermode/include/thunk.h
162
int thunk_idle(void);