hpet_time_init    117 arch/x86/kernel/time_32.c void __init hpet_time_init(void)
hpet_time_init    121 arch/x86/kernel/time_64.c void __init hpet_time_init(void)