Symbol: thunk_timer_attach
sys/arch/usermode/dev/clock.c
104
clock_timerid = thunk_timer_attach();
sys/arch/usermode/include/thunk.h
91
timer_t thunk_timer_attach(void);