1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifdef CONFIG_MMU 3 # include <asm/mmu_context_mm.h> 4 #else 5 # include <asm-generic/mmu_context.h> 6 #endif