mmu_32.h

 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