| /* | |
| * Copyright (C) 2002 Jeff Dike (jdike@karaya.com) | |
| * Licensed under the GPL | |
| */ | |
| #ifndef __SKAS_MMU_H | |
| #define __SKAS_MMU_H | |
| #include "linux/config.h" | |
| #include "mm_id.h" | |
| #include "asm/ldt.h" | |
| struct mmu_context_skas { | |
| struct mm_id id; | |
| unsigned long last_page_table; | |
| #ifdef CONFIG_3_LEVEL_PGTABLES | |
| unsigned long last_pmd; | |
| #endif | |
| uml_ldt_t ldt; | |
| }; | |
| extern void switch_mm_skas(struct mm_id * mm_idp); | |
| #endif |