hpet_reserve_platform_timers  186 arch/x86/kernel/hpet.c static void __init hpet_reserve_platform_timers(void)
hpet_reserve_platform_timers  241 arch/x86/kernel/hpet.c static inline void hpet_reserve_platform_timers(void) { }