Symbol: thunk_setitimer
sys/arch/usermode/include/thunk.h
85
int thunk_setitimer(int, const struct thunk_itimerval *, struct thunk_itimerval *);
sys/arch/usermode/usermode/machdep.c
302
thunk_setitimer(ITIMER_REAL, &itimer, NULL);