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) {}