i8254_inittimecounter 3217 arch/i386/i386/machdep.c 		i8254_inittimecounter();
i8254_inittimecounter  378 arch/i386/include/cpu.h void	i8254_inittimecounter(void);