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