taglinefilesource code
SHIFT_UPDATE520kernel/sched.ctime_adj = ltemp << (SHIFT_SCALE - SHIFT_HZ - SHIFT_UPDATE);
SHIFT_UPDATE521kernel/sched.ctime_offset += (time_adj * HZ) >> (SHIFT_SCALE - SHIFT_UPDATE);
SHIFT_UPDATE525kernel/sched.ctime_adj = ltemp << (SHIFT_SCALE - SHIFT_HZ - SHIFT_UPDATE);
SHIFT_UPDATE526kernel/sched.ctime_offset -= (time_adj * HZ) >> (SHIFT_SCALE - SHIFT_UPDATE);
SHIFT_UPDATE315kernel/time.cif (txc.offset <= -(1 << (31 - SHIFT_UPDATE))
SHIFT_UPDATE316kernel/time.c|| txc.offset >= (1 << (31 - SHIFT_UPDATE)))
SHIFT_UPDATE362kernel/time.ctime_offset = txc.offset << SHIFT_UPDATE;