Searched refs:min_clock (Results 1 – 1 of 1) sorted by relevance
112 u64 clock, min_clock, max_clock; in __update_sched_clock() local126 min_clock = wrap_max(scd->tick_gtod, scd->clock); in __update_sched_clock()129 clock = wrap_max(clock, min_clock); in __update_sched_clock()