taglinefilesource code
MINSEC658kernel/sched.cif (ltemp > (MAXPHASE / MINSEC) << SHIFT_UPDATE)
MINSEC659kernel/sched.cltemp = (MAXPHASE / MINSEC) <<
MINSEC668kernel/sched.cif (ltemp > (MAXPHASE / MINSEC) << SHIFT_UPDATE)
MINSEC669kernel/sched.cltemp = (MAXPHASE / MINSEC) <<
MINSEC275kernel/time.cif (mtemp >= MINSEC)