Searched refs:max_clock (Results 1 – 1 of 1) sorted by relevance
112 u64 clock, min_clock, max_clock; in __update_sched_clock() local127 max_clock = wrap_max(scd->clock, scd->tick_gtod + TICK_NSEC); in __update_sched_clock()130 clock = wrap_min(clock, max_clock); in __update_sched_clock()