1/* SPDX-License-Identifier: GPL-2.0 */
2// Copyright (C) 2005-2017 Andes Technology Corporation
3
4#ifndef __NDS32_MMU_H
5#define __NDS32_MMU_H
6
7typedef struct {
8	unsigned int id;
9	void *vdso;
10} mm_context_t;
11
12#endif
13