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