1974 static u64 cmp_next_hrtimer_event(u64 basem, u64 expires)  in cmp_next_hrtimer_event()  argument
1989 	if (nextevt <= basem)  in cmp_next_hrtimer_event()
1990 		return basem;  in cmp_next_hrtimer_event()
2023 static unsigned long fetch_next_timer_interrupt(unsigned long basej, u64 basem,  in fetch_next_timer_interrupt()  argument
2047 		tevt->local = basem + (u64)(nextevt - basej) * TICK_NSEC;  in fetch_next_timer_interrupt()
2073 		tevt->global = basem + (u64)(nextevt_global - basej) * TICK_NSEC;  in fetch_next_timer_interrupt()
2076 		tevt->local = basem + (u64)(nextevt_local - basej) * TICK_NSEC;  in fetch_next_timer_interrupt()
2097 void fetch_next_timer_interrupt_remote(unsigned long basej, u64 basem,  in fetch_next_timer_interrupt_remote()  argument
2112 	fetch_next_timer_interrupt(basej, basem, base_local, base_global, tevt);  in fetch_next_timer_interrupt_remote()
2180 static void timer_use_tmigr(unsigned long basej, u64 basem,  in timer_use_tmigr()  argument
2202 		if (next_tmigr < basem)  in timer_use_tmigr()
2203 			next_tmigr = basem;  in timer_use_tmigr()
2205 		tmp = div_u64(next_tmigr - basem, TICK_NSEC);  in timer_use_tmigr()
2212 static void timer_use_tmigr(unsigned long basej, u64 basem,  in timer_use_tmigr()  argument
2224 static inline u64 __get_next_timer_interrupt(unsigned long basej, u64 basem,  in __get_next_timer_interrupt()  argument
2248 	nextevt = fetch_next_timer_interrupt(basej, basem, base_local,  in __get_next_timer_interrupt()
2264 		timer_use_tmigr(basej, basem, &nextevt, idle,  in __get_next_timer_interrupt()
2318 	return cmp_next_hrtimer_event(basem, tevt.local);  in __get_next_timer_interrupt()
2332 u64 get_next_timer_interrupt(unsigned long basej, u64 basem)  in get_next_timer_interrupt()  argument
2334 	return __get_next_timer_interrupt(basej, basem, NULL);  in get_next_timer_interrupt()
2348 u64 timer_base_try_to_set_idle(unsigned long basej, u64 basem, bool *idle)  in timer_base_try_to_set_idle()  argument
2353 	return __get_next_timer_interrupt(basej, basem, idle);  in timer_base_try_to_set_idle()