1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _LINUX_MMU_CONTEXT_H
3 #define _LINUX_MMU_CONTEXT_H
5 #include <asm/mmu_context.h>
8 /* Architectures that care about IRQ state in switch_mm can override this. */
9 #ifndef switch_mm_irqs_off
10 # define switch_mm_irqs_off switch_mm
14 static inline void leave_mm(int cpu) { }
18 * CPUs that are capable of running user task @p. Must contain at least one
19 * active CPU. It is assumed that the kernel can run on all CPUs, so calling
20 * this for a kernel thread is pointless.
22 * By default, we assume a sane, homogeneous system.
24 #ifndef task_cpu_possible_mask
25 # define task_cpu_possible_mask(p) cpu_possible_mask
26 # define task_cpu_possible(cpu, p) true
28 # define task_cpu_possible(cpu, p) cpumask_test_cpu((cpu), task_cpu_possible_mask(p))