18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci/*
38c2ecf20Sopenharmony_ci * Copyright (C) 2020 Loongson Technology Corporation Limited
48c2ecf20Sopenharmony_ci */
58c2ecf20Sopenharmony_ci#ifndef __ASM_MMU_H
68c2ecf20Sopenharmony_ci#define __ASM_MMU_H
78c2ecf20Sopenharmony_ci
88c2ecf20Sopenharmony_ci#include <linux/atomic.h>
98c2ecf20Sopenharmony_ci#include <linux/spinlock.h>
108c2ecf20Sopenharmony_ci
118c2ecf20Sopenharmony_citypedef struct {
128c2ecf20Sopenharmony_ci	u64 asid[NR_CPUS];
138c2ecf20Sopenharmony_ci	void *vdso;
148c2ecf20Sopenharmony_ci} mm_context_t;
158c2ecf20Sopenharmony_ci
168c2ecf20Sopenharmony_ci#endif /* __ASM_MMU_H */
17