wrap_max          126 kernel/sched_clock.c 	min_clock = wrap_max(scd->tick_gtod, scd->clock);
wrap_max          129 kernel/sched_clock.c 	clock = wrap_max(clock, min_clock);