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