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 14 static inline void leave_mm(int cpu) { } 15 #endif 16 17 #endif 18