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

 
 1#ifndef __MMU_H
 2#define __MMU_H
 3
 4/* Default "unsigned long" context */
 5typedef unsigned long mm_context_t;
 6
 7/* mm/srmmu.c */
 8extern ctxd_t *srmmu_ctx_table_phys;
 9
10#endif