2019-04-16 11:24:35 -04:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0 */
|
2017-10-24 02:53:31 -04:00
|
|
|
// Copyright (C) 2005-2017 Andes Technology Corporation
|
|
|
|
|
|
|
|
#ifndef __NDS32_MMU_H
|
|
|
|
#define __NDS32_MMU_H
|
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
unsigned int id;
|
|
|
|
void *vdso;
|
|
|
|
} mm_context_t;
|
|
|
|
|
|
|
|
#endif
|