2019-05-29 14:18:00 +00:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2017-07-11 01:07:09 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2012 Regents of the University of California
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
#ifndef _ASM_RISCV_MMU_H
|
|
|
|
#define _ASM_RISCV_MMU_H
|
|
|
|
|
|
|
|
#ifndef __ASSEMBLY__
|
|
|
|
|
|
|
|
typedef struct {
|
2019-10-28 12:10:41 +00:00
|
|
|
#ifndef CONFIG_MMU
|
|
|
|
unsigned long end_brk;
|
|
|
|
#endif
|
2017-07-11 01:07:09 +00:00
|
|
|
void *vdso;
|
2017-10-25 21:30:32 +00:00
|
|
|
#ifdef CONFIG_SMP
|
|
|
|
/* A local icache flush is needed before user execution can resume. */
|
|
|
|
cpumask_t icache_stale_mask;
|
|
|
|
#endif
|
2017-07-11 01:07:09 +00:00
|
|
|
} mm_context_t;
|
|
|
|
|
2020-09-17 22:37:15 +00:00
|
|
|
void __init create_pgd_mapping(pgd_t *pgdp, uintptr_t va, phys_addr_t pa,
|
|
|
|
phys_addr_t sz, pgprot_t prot);
|
2017-07-11 01:07:09 +00:00
|
|
|
#endif /* __ASSEMBLY__ */
|
|
|
|
|
|
|
|
#endif /* _ASM_RISCV_MMU_H */
|