| /* 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 { | |
| 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; | |
| #endif /* __ASSEMBLY__ */ | |
| #endif /* _ASM_RISCV_MMU_H */ |