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

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