#include "asm/mmu_context.h"
#include "tlb.h"
#include "skas.h"
-#include "mmu.h"
+#include "um_mmu.h"
#include "os.h"
void flush_thread_skas(void)
{
force_flush_all();
- switch_mm_skas(current->mm->context.skas.mm_fd);
+ switch_mm_skas(¤t->mm->context.skas.id);
}
void start_thread_skas(struct pt_regs *regs, unsigned long eip,