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