__tick_nohz_task_switch  285 include/linux/tick.h static inline void __tick_nohz_task_switch(void) { }
__tick_nohz_task_switch  376 kernel/time/tick-sched.c void __tick_nohz_task_switch(void)