| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef __UM_SMP_H | |
| #define __UM_SMP_H | |
| #if IS_ENABLED(CONFIG_SMP) | |
| #include <linux/cpumask.h> | |
| #include <shared/smp.h> | |
| #define raw_smp_processor_id() uml_curr_cpu() | |
| void arch_smp_send_reschedule(int cpu); | |
| void arch_send_call_function_single_ipi(int cpu); | |
| void arch_send_call_function_ipi_mask(const struct cpumask *mask); | |
| #endif /* CONFIG_SMP */ | |
| #endif |