#include "userprog/gdt.h"
#include <debug.h>
#include "userprog/tss.h"
-#include "threads/mmu.h"
#include "threads/palloc.h"
+#include "threads/vaddr.h"
/* The Global Descriptor Table (GDT).
Table Register (GDTR)", 2.4.4 "Task Register (TR)", and
6.2.4 "Task Register". */
gdtr_operand = make_gdtr_operand (sizeof gdt - 1, gdt);
- asm volatile ("lgdt %0" :: "m" (gdtr_operand));
- asm volatile ("ltr %w0" :: "r" (SEL_TSS));
+ asm volatile ("lgdt %0" : : "m" (gdtr_operand));
+ asm volatile ("ltr %w0" : : "r" (SEL_TSS));
}
\f
/* System segment or code/data segment? */