/* Caller must observe xtime_lock via read_seqbegin/read_seqretry to ensure that the clocksource does not change!  */
u64 timekeeping_max_deferment(void)
/* Caller must observe xtime_lock via read_seqbegin/read_seqretry to ensure that the clocksource does not change!  */
u64 timekeeping_max_deferment(void)
{
	return timekeeper.clock->max_idle_ns;
}