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