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