Symbol: tick_nohz_idle_restart_tick
include/linux/tick.h
151
static inline void tick_nohz_idle_restart_tick(void) { }
kernel/time/tick-sched.c
1441
void tick_nohz_idle_restart_tick(void)