tick_nohz_restart_sched_tick  119 arch/x86/kernel/process_32.c 		tick_nohz_restart_sched_tick();
tick_nohz_restart_sched_tick  131 arch/x86/kernel/process_64.c 		tick_nohz_restart_sched_tick();
tick_nohz_restart_sched_tick  113 include/linux/tick.h extern void tick_nohz_restart_sched_tick(void);