| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef _LINUX_MMU_CONTEXT_H | |
| #define _LINUX_MMU_CONTEXT_H | |
| #include <asm/mmu_context.h> | |
| #include <asm/mmu.h> | |
| /* Architectures that care about IRQ state in switch_mm can override this. */ | |
| #ifndef switch_mm_irqs_off | |
| # define switch_mm_irqs_off switch_mm | |
| #endif | |
| #ifndef leave_mm | |
| static inline void leave_mm(int cpu) { } | |
| #endif | |
| #endif |