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
7