hpet_reserve_platform_timers  105 arch/x86/kernel/hpet.c static void hpet_reserve_platform_timers(unsigned long id)
hpet_reserve_platform_timers  141 arch/x86/kernel/hpet.c static void hpet_reserve_platform_timers(unsigned long id) { }