Symbol: __tick_nohz_task_switch
include/linux/tick.h
300
static inline void __tick_nohz_task_switch(void) { }
kernel/time/tick-sched.c
608
void __tick_nohz_task_switch(void)