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
12extern void sched_ttwu_pending(void *arg);
13
14extern bool call_function_single_prep_ipi(int cpu);
15
16#ifdef CONFIG_SMP
17extern void flush_smp_call_function_queue(void);
18#else
19static inline void flush_smp_call_function_queue(void) { }
20#endif
21
22#endif /* _KERNEL_SCHED_SMP_H */
23