.. | .. |
---|
| 1 | +/* SPDX-License-Identifier: GPL-2.0-only */ |
---|
1 | 2 | /* |
---|
2 | 3 | * Copyright (C) 2012 Regents of the University of California |
---|
3 | | - * |
---|
4 | | - * This program is free software; you can redistribute it and/or |
---|
5 | | - * modify it under the terms of the GNU General Public License |
---|
6 | | - * as published by the Free Software Foundation, version 2. |
---|
7 | | - * |
---|
8 | | - * This program is distributed in the hope that it will be useful, |
---|
9 | | - * but WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
10 | | - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
---|
11 | | - * GNU General Public License for more details. |
---|
12 | 4 | */ |
---|
13 | 5 | |
---|
14 | 6 | |
---|
.. | .. |
---|
18 | 10 | #ifndef __ASSEMBLY__ |
---|
19 | 11 | |
---|
20 | 12 | typedef struct { |
---|
| 13 | +#ifndef CONFIG_MMU |
---|
| 14 | + unsigned long end_brk; |
---|
| 15 | +#endif |
---|
21 | 16 | void *vdso; |
---|
22 | 17 | #ifdef CONFIG_SMP |
---|
23 | 18 | /* A local icache flush is needed before user execution can resume. */ |
---|
.. | .. |
---|
25 | 20 | #endif |
---|
26 | 21 | } mm_context_t; |
---|
27 | 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); |
---|
28 | 25 | #endif /* __ASSEMBLY__ */ |
---|
29 | 26 | |
---|
30 | 27 | #endif /* _ASM_RISCV_MMU_H */ |
---|