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