scheduler_ipi 1700 include/linux/sched.h static inline void scheduler_ipi(void) { } scheduler_ipi 2308 kernel/sched/core.c void scheduler_ipi(void)