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