1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __MMU_H
3 #define __MMU_H
4 
5 /* Default "unsigned long" context */
6 typedef unsigned long mm_context_t;
7 
8 /* mm/srmmu.c */
9 extern ctxd_t *srmmu_ctx_table_phys;
10 
11 #endif
12