tick_nohz_irq_enter 1250 kernel/time/tick-sched.c static inline void tick_nohz_irq_enter(void)
tick_nohz_irq_enter 1267 kernel/time/tick-sched.c static inline void tick_nohz_irq_enter(void) { }