Symbol: wrap_max
kernel/sched/clock.c
290
min_clock = wrap_max(gtod, old_clock);
kernel/sched/clock.c
291
max_clock = wrap_max(old_clock, gtod + TICK_NSEC);
kernel/sched/clock.c
293
clock = wrap_max(clock, min_clock);