i8254_inittimecounter_simple 3219 arch/i386/i386/machdep.c 		i8254_inittimecounter_simple();
i8254_inittimecounter_simple  379 arch/i386/include/cpu.h void	i8254_inittimecounter_simple(void);