Symbol: tick_nohz_stop_tick
kernel/time/tick-sched.c
1010
tick_nohz_stop_tick(ts, cpu);
kernel/time/tick-sched.c
1155
tick_nohz_stop_tick(ts, cpu);