kernel/sched/smp.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 /*
0003  * Scheduler internal SMP callback types and methods between the scheduler
0004  * and other internal parts of the core kernel:
0005  */
0006
0007 extern void sched_ttwu_pending(void *arg);
0008
0009 extern void send_call_function_single_ipi(int cpu);
0010
0011 #ifdef CONFIG_SMP
0012 extern void flush_smp_call_function_queue(void);
0013 #else
0014 static inline void flush_smp_call_function_queue(void) { }
0015 #endif