Symbol: tick_nohz_idle_restart_tick
include/linux/tick.h
134
extern void tick_nohz_idle_restart_tick(void);
kernel/sched/idle.c
349
tick_nohz_idle_restart_tick();