1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _LINUX_MMU_CONTEXT_H 3 #define _LINUX_MMU_CONTEXT_H 4 5 #include <asm/mmu_context.h> 6 #include <asm/mmu.h> 7 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 11 #endif 12 13 #ifndef leave_mm leave_mm(int cpu)14static inline void leave_mm(int cpu) { } 15 #endif 16 17 /* 18 * CPUs that are capable of running task @p. By default, we assume a sane, 19 * homogeneous system. Must contain at least one active CPU. 20 */ 21 #ifndef task_cpu_possible_mask 22 # define task_cpu_possible_mask(p) cpu_possible_mask 23 #endif 24 25 #endif 26