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
12typedef 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
23void __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