hpet_rtc_timer_init  617 arch/x86/kernel/hpet.c 		hpet_rtc_timer_init();
hpet_rtc_timer_init   79 include/asm-x86/hpet.h extern int hpet_rtc_timer_init(void);