| .. | .. |
|---|
| 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 */ |
|---|