taglinefilesource code
lost_ticks979kernel/sched.cstatic unsigned long lost_ticks = 0;
lost_ticks990kernel/sched.cticks = lost_ticks;
lost_ticks991kernel/sched.clost_ticks = 0;
lost_ticks1017kernel/sched.clost_ticks++;
lost_ticks1018kernel/sched.cif (should_run_timers(lost_ticks))