taglinefilesource code
missed_ticks72arch/alpha/kernel/time.cint i, missed_ticks;
missed_ticks74arch/alpha/kernel/time.cmissed_ticks = ((delta * state.scaled_ticks_per_cycle) >> FIX_SHIFT) - 1;
missed_ticks75arch/alpha/kernel/time.cfor (i = 0; i < missed_ticks; ++i) {