1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Scheduler internal SMP callback types and methods between the scheduler
4  * and other internal parts of the core kernel:
5  */
6 
7 extern void sched_ttwu_pending(void *arg);
8 
9 extern bool call_function_single_prep_ipi(int cpu);
10 
11 #ifdef CONFIG_SMP
12 extern void flush_smp_call_function_queue(void);
13 #else
flush_smp_call_function_queue(void)14 static inline void flush_smp_call_function_queue(void) { }
15 #endif
16