Symbol: thunk_gettimeofday
sys/arch/usermode/dev/clock.c
136
error = thunk_gettimeofday(&ttv, NULL);
sys/arch/usermode/include/thunk.h
86
int thunk_gettimeofday(struct thunk_timeval *, void *);