taglinefilesource code
lost_ticks963kernel/sched.cstatic unsigned long lost_ticks = 0;
lost_ticks974kernel/sched.cticks = lost_ticks;
lost_ticks975kernel/sched.clost_ticks = 0;
lost_ticks1001kernel/sched.clost_ticks++;
lost_ticks1002kernel/sched.cif (should_run_timers(lost_ticks))