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