Symbol: clock_getcounter
sys/arch/usermode/dev/clock.c
53
static unsigned int clock_getcounter(struct timecounter *);
sys/arch/usermode/dev/clock.c
67
.tc_get_timecount = clock_getcounter,