taglinefilesource code
lost_ticks987kernel/sched.cstatic unsigned long lost_ticks = 0;
lost_ticks998kernel/sched.cticks = lost_ticks;
lost_ticks999kernel/sched.clost_ticks = 0;
lost_ticks1025kernel/sched.clost_ticks++;
lost_ticks1026kernel/sched.cif (should_run_timers(lost_ticks))