1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) 2012 Regents of the University of California 4 */ 5 6 7 #ifndef _ASM_RISCV_MMU_H 8 #define _ASM_RISCV_MMU_H 9 10 #ifndef __ASSEMBLY__ 11 12 typedef struct { 13 #ifndef CONFIG_MMU 14 unsigned long end_brk; 15 #endif 16 void *vdso; 17 #ifdef CONFIG_SMP 18 /* A local icache flush is needed before user execution can resume. */ 19 cpumask_t icache_stale_mask; 20 #endif 21 } mm_context_t; 22 23 void __init create_pgd_mapping(pgd_t *pgdp, uintptr_t va, phys_addr_t pa, 24 phys_addr_t sz, pgprot_t prot); 25 #endif /* __ASSEMBLY__ */ 26 27 #endif /* _ASM_RISCV_MMU_H */ 28