hpet_select_device_channel
static void __init hpet_select_device_channel(void)
static inline void hpet_select_device_channel(void) {}