i8254_simple_get_timecount  134 arch/i386/isa/clock.c u_int i8254_simple_get_timecount(struct timecounter *tc);
i8254_simple_get_timecount  699 arch/i386/isa/clock.c 	i8254_timecounter.tc_get_timecount = i8254_simple_get_timecount;