18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifdef CONFIG_MMU 38c2ecf20Sopenharmony_ci# include <asm/mmu_context_mm.h> 48c2ecf20Sopenharmony_ci#else 58c2ecf20Sopenharmony_ci# include <asm-generic/mmu_context.h> 68c2ecf20Sopenharmony_ci#endif 7