Symbol: piix_get_timecount
sys/i386/i386/mp_clock.c
51
static unsigned piix_get_timecount(struct timecounter *tc);
sys/i386/i386/mp_clock.c
57
piix_get_timecount, /* get_timecount */