| 1234567891011121314151617181920212223242526272829 |
- /* 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;
- #else
- atomic_long_t id;
- #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 */
|
