i8254_get_timecount  133 arch/i386/isa/clock.c u_int i8254_get_timecount(struct timecounter *tc);
i8254_get_timecount  137 arch/i386/isa/clock.c 	i8254_get_timecount, NULL, ~0u, TIMER_FREQ, "i8254", 0, NULL
i8254_get_timecount  223 arch/i386/isa/clock.c 	if (timecounter->tc_get_timecount == i8254_get_timecount) {