75 static inline void hpet_set_mapping(void)  in hpet_set_mapping()  argument
80 static inline void hpet_clear_mapping(void)  in hpet_clear_mapping()  argument
119 static inline int is_hpet_capable(void)  in is_hpet_capable()  argument
132 int is_hpet_enabled(void)  in is_hpet_enabled()  argument
231 static void hpet_stop_counter(void)  in hpet_stop_counter()  argument
238 static void hpet_reset_counter(void)  in hpet_reset_counter()  argument
244 static void hpet_start_counter(void)  in hpet_start_counter()  argument
251 static void hpet_restart_counter(void)  in hpet_restart_counter()  argument
258 static void hpet_resume_device(void)  in hpet_resume_device()  argument
269 static void hpet_enable_legacy_int(void)  in hpet_enable_legacy_int()  argument
278 static void hpet_legacy_clockevent_register(void)  in hpet_legacy_clockevent_register()  argument
672 static struct hpet_dev *hpet_get_unused_timer(void)  in hpet_get_unused_timer()  argument
778 static int hpet_clocksource_register(void)  in hpet_clocksource_register()  argument
816 int __init hpet_enable(void)  in hpet_enable()  argument
932 static __init int hpet_late_init(void)  in hpet_late_init()  argument
977 void hpet_disable(void)  in hpet_disable()  argument
1084 int hpet_rtc_timer_init(void)  in hpet_rtc_timer_init()  argument
1122 static void hpet_disable_rtc_channel(void)  in hpet_disable_rtc_channel()  argument
1200 int hpet_rtc_dropped_irq(void)  in hpet_rtc_dropped_irq()  argument
1206 static void hpet_rtc_timer_reinit(void)  in hpet_rtc_timer_reinit()  argument