Symbol: acpihwtimer_read_fast
sys/dev/ic/acpipmtimer.c
27
static u_int acpihwtimer_read_fast(struct timecounter *);
sys/dev/ic/acpipmtimer.c
50
tc->tc.tc_get_timecount = acpihwtimer_read_fast;