/* 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_mmstaticinlinevoidleave_mm(intcpu){}#endif#endif