Symbol: tick_nohz_restart_sched_tick
kernel/time/tick-sched.c
1146
tick_nohz_restart_sched_tick(ts, now);
kernel/time/tick-sched.c
1447
tick_nohz_restart_sched_tick(ts, now);
kernel/time/tick-sched.c
1457
tick_nohz_restart_sched_tick(ts, now);