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 /* Force local icache flush on all migrations. */
23 bool force_icache_flush
;
25 #ifdef CONFIG_BINFMT_ELF_FDPIC
26 unsigned long exec_fdpic_loadmap
;
27 unsigned long interp_fdpic_loadmap
;
30 #ifdef CONFIG_RISCV_ISA_SUPM
35 /* Lock the pointer masking mode because this mm is multithreaded */
36 #define MM_CONTEXT_LOCK_PMLEN 0
38 #define cntx2asid(cntx) ((cntx) & SATP_ASID_MASK)
39 #define cntx2version(cntx) ((cntx) & ~SATP_ASID_MASK)
41 void __meminit
create_pgd_mapping(pgd_t
*pgdp
, uintptr_t va
, phys_addr_t pa
, phys_addr_t sz
,
43 #endif /* __ASSEMBLY__ */
45 #endif /* _ASM_RISCV_MMU_H */