/* SPDX-License-Identifier: GPL-2.0 */ // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd. #ifndef __ASM_CSKY_MMU_H #define __ASM_CSKY_MMU_H typedef struct { atomic64_t asid; void *vdso; cpumask_t icache_stale_mask; } mm_context_t; #endif /* __ASM_CSKY_MMU_H */