tick_nohz_irq_exit 129 include/linux/tick.h extern void tick_nohz_irq_exit(void); tick_nohz_irq_exit 395 kernel/softirq.c tick_nohz_irq_exit();