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