1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2012 Regents of the University of California
7 #ifndef _ASM_RISCV_MMU_H
8 #define _ASM_RISCV_MMU_H
14 unsigned long end_brk;
20 /* A local icache flush is needed before user execution can resume. */
21 cpumask_t icache_stale_mask;
22 /* A local tlb flush is needed before user execution can resume. */
23 cpumask_t tlb_stale_mask;
27 void __init create_pgd_mapping(pgd_t *pgdp, uintptr_t va, phys_addr_t pa,
28 phys_addr_t sz, pgprot_t prot);
29 #endif /* __ASSEMBLY__ */
31 #endif /* _ASM_RISCV_MMU_H */