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