Symbol: thunk_exit
sys/arch/usermode/dev/cpu.c
160
thunk_exit(0);
sys/arch/usermode/include/thunk.h
96
void thunk_exit(int);