1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _LINUX_MMU_CONTEXT_H
3 #define _LINUX_MMU_CONTEXT_H
5 #include <asm/mmu_context.h>
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
14 static inline void leave_mm(int cpu) { }