hpet_time_init      8 arch/x86/include/asm/time.h extern void hpet_time_init(void);
hpet_time_init     76 arch/x86/kernel/x86_init.c 		.timer_init		= hpet_time_init,