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