Symbol: thunk_getcounter
sys/arch/usermode/dev/clock.c
127
return thunk_getcounter();
sys/arch/usermode/include/thunk.h
87
unsigned int thunk_getcounter(void);