74 static inline void hpet_set_mapping(void)  in hpet_set_mapping()  argument
79 static inline void hpet_clear_mapping(void)  in hpet_clear_mapping()  argument
118 static inline int is_hpet_capable(void)  in is_hpet_capable()  argument
131 int is_hpet_enabled(void)  in is_hpet_enabled()  argument
245 static void hpet_stop_counter(void)  in hpet_stop_counter()  argument
252 static void hpet_reset_counter(void)  in hpet_reset_counter()  argument
258 static void hpet_start_counter(void)  in hpet_start_counter()  argument
265 static void hpet_restart_counter(void)  in hpet_restart_counter()  argument
272 static void hpet_resume_device(void)  in hpet_resume_device()  argument
283 static void hpet_enable_legacy_int(void)  in hpet_enable_legacy_int()  argument
292 static void hpet_legacy_clockevent_register(void)  in hpet_legacy_clockevent_register()  argument
644 static struct hpet_dev *hpet_get_unused_timer(void)  in hpet_get_unused_timer()  argument
754 static int hpet_clocksource_register(void)  in hpet_clocksource_register()  argument
792 int __init hpet_enable(void)  in hpet_enable()  argument
908 static __init int hpet_late_init(void)  in hpet_late_init()  argument
953 void hpet_disable(void)  in hpet_disable()  argument
1060 int hpet_rtc_timer_init(void)  in hpet_rtc_timer_init()  argument
1098 static void hpet_disable_rtc_channel(void)  in hpet_disable_rtc_channel()  argument
1177 int hpet_rtc_dropped_irq(void)  in hpet_rtc_dropped_irq()  argument
1183 static void hpet_rtc_timer_reinit(void)  in hpet_rtc_timer_reinit()  argument