1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __MMU_H 3 #define __MMU_H 4 5 #ifdef CONFIG_MMU 6 /* Default "unsigned long" context */ 7 typedef unsigned long mm_context_t; 8 #else 9 #include <asm-generic/mmu.h> 10 #endif 11 12 #endif 13