1 /* SPDX-License-Identifier: GPL-2.0 */ 2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd. 3 4 #ifndef __ASM_CSKY_MMU_H 5 #define __ASM_CSKY_MMU_H 6 7 typedef struct { 8 atomic64_t asid; 9 void *vdso; 10 cpumask_t icache_stale_mask; 11 } mm_context_t; 12 13 #endif /* __ASM_CSKY_MMU_H */ 14