tick_nohz_full_kick_cpu 284 include/linux/tick.h static inline void tick_nohz_full_kick_cpu(int cpu) { } tick_nohz_full_kick_cpu 257 kernel/time/tick-sched.c void tick_nohz_full_kick_cpu(int cpu)