hpet_select_device_channel  225 arch/x86/kernel/hpet.c static void __init hpet_select_device_channel(void)
hpet_select_device_channel  242 arch/x86/kernel/hpet.c static inline void hpet_select_device_channel(void) {}