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 { 16 } 17 #endif 18 19 /* 20 * CPUs that are capable of running task @p. By default, we assume a sane, 21 * homogeneous system. Must contain at least one active CPU. 22 */ 23 #ifndef task_cpu_possible_mask 24 #define task_cpu_possible_mask(p) cpu_possible_mask 25 #endif 26 27 #endif 28