1 /* SPDX-License-Identifier: GPL-2.0 */
2 
3 #ifndef _KERNEL_SCHED_SMP_H
4 #define _KERNEL_SCHED_SMP_H
5 
6 /*
7  * Scheduler internal SMP callback types and methods between the scheduler
8  * and other internal parts of the core kernel:
9  */
10 #include <linux/types.h>
11 
12 extern void sched_ttwu_pending(void *arg);
13 
14 extern bool call_function_single_prep_ipi(int cpu);
15 
16 #ifdef CONFIG_SMP
17 extern void flush_smp_call_function_queue(void);
18 #else
flush_smp_call_function_queue(void)19 static inline void flush_smp_call_function_queue(void) { }
20 #endif
21 
22 #endif /* _KERNEL_SCHED_SMP_H */
23