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