162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#ifndef __MMU_H 362306a36Sopenharmony_ci#define __MMU_H 462306a36Sopenharmony_ci 562306a36Sopenharmony_ci/* Default "unsigned long" context */ 662306a36Sopenharmony_citypedef unsigned long mm_context_t; 762306a36Sopenharmony_ci 862306a36Sopenharmony_ci/* mm/srmmu.c */ 962306a36Sopenharmony_ciextern ctxd_t *srmmu_ctx_table_phys; 1062306a36Sopenharmony_ci 1162306a36Sopenharmony_ci#endif 12