__tick_nohz_task_switch  188 include/linux/tick.h extern void __tick_nohz_task_switch(struct task_struct *tsk);
__tick_nohz_task_switch  226 include/linux/tick.h 		__tick_nohz_task_switch(tsk);