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 
7 typedef struct {
8 	unsigned int id;
9 	void *vdso;
10 } mm_context_t;
11 
12 #endif
13