tick_nohz_init    150 kernel/time/tick-internal.h static inline void tick_nohz_init(void) { }
tick_nohz_init    417 kernel/time/tick-sched.c void __init tick_nohz_init(void)