541 static inline int hrtimer_is_hres_enabled(void)  in hrtimer_is_hres_enabled()  argument
554 static inline int hrtimer_hres_active(void)  in hrtimer_hres_active()  argument
691 static void hrtimer_switch_to_hres(void)  in hrtimer_switch_to_hres()  argument
719 void clock_was_set_delayed(void)  in clock_was_set_delayed()  argument
727 static inline int hrtimer_hres_active(void) { return 0; }  in hrtimer_hres_active()  argument
728 static inline int hrtimer_is_hres_enabled(void) { return 0; }  in hrtimer_is_hres_enabled()  argument
729 static inline void hrtimer_switch_to_hres(void) { }  in hrtimer_switch_to_hres()  argument
753 void clock_was_set(void)  in clock_was_set()  argument
768 void hrtimers_resume(void)  in hrtimers_resume()  argument
1108 u64 hrtimer_get_next_event(void)  in hrtimer_get_next_event()  argument
1411 static inline void __hrtimer_peek_ahead_timers(void)  in __hrtimer_peek_ahead_timers()  argument
1425 static inline void __hrtimer_peek_ahead_timers(void) { }  in __hrtimer_peek_ahead_timers()  argument
1432 void hrtimer_run_queues(void)  in hrtimer_run_queues()  argument
1712 void __init hrtimers_init(void)  in hrtimers_init()  argument