503 static inline int hrtimer_is_hres_enabled(void)  in hrtimer_is_hres_enabled()  argument
511 static inline int hrtimer_hres_active(void)  in hrtimer_hres_active()  argument
663 static int hrtimer_switch_to_hres(void)  in hrtimer_switch_to_hres()  argument
702 void clock_was_set_delayed(void)  in clock_was_set_delayed()  argument
709 static inline int hrtimer_hres_active(void) { return 0; }  in hrtimer_hres_active()  argument
710 static inline int hrtimer_is_hres_enabled(void) { return 0; }  in hrtimer_is_hres_enabled()  argument
711 static inline int hrtimer_switch_to_hres(void) { return 0; }  in hrtimer_switch_to_hres()  argument
735 void clock_was_set(void)  in clock_was_set()  argument
750 void hrtimers_resume(void)  in hrtimers_resume()  argument
1121 ktime_t hrtimer_get_next_event(void)  in hrtimer_get_next_event()  argument
1366 static void __hrtimer_peek_ahead_timers(void)  in __hrtimer_peek_ahead_timers()  argument
1387 void hrtimer_peek_ahead_timers(void)  in hrtimer_peek_ahead_timers()  argument
1403 static inline void __hrtimer_peek_ahead_timers(void) { }  in __hrtimer_peek_ahead_timers()  argument
1414 void hrtimer_run_pending(void)  in hrtimer_run_pending()  argument
1434 void hrtimer_run_queues(void)  in hrtimer_run_queues()  argument
1729 void __init hrtimers_init(void)  in hrtimers_init()  argument