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 void send_call_function_single_ipi(int cpu); 10 11 #ifdef CONFIG_SMP 12 extern void flush_smp_call_function_queue(void); 13 #else 14 static inline void flush_smp_call_function_queue(void) { } 15 #endif 16