wrap_max          286 kernel/sched/clock.c 	min_clock = wrap_max(gtod, old_clock);
wrap_max          287 kernel/sched/clock.c 	max_clock = wrap_max(old_clock, gtod + TICK_NSEC);
wrap_max          289 kernel/sched/clock.c 	clock = wrap_max(clock, min_clock);