tick_nohz_tick_stopped 132 include/linux/tick.h static inline int tick_nohz_tick_stopped(void) tick_nohz_tick_stopped 145 include/linux/tick.h static inline int tick_nohz_tick_stopped(void)