Symbol: tcpcib_hpet_get_timecount
sys/dev/pci/tcpcib.c
107
u_int tcpcib_hpet_get_timecount(struct timecounter *tc);
sys/dev/pci/tcpcib.c
196
tc->tc_get_timecount = tcpcib_hpet_get_timecount;