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);