X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fgdt.c;h=a7423b7ec986cfeae0fe439a6f697e51f5eff92c;hb=38e1ff2edf63096a8ce642cc727564074cdc7740;hp=0e393ec6bf2800cbeebb9599e5a566adbc55aa62;hpb=8abbb333aea445641d967befd3ca477502ea770b;p=pintos-anon

diff --git a/src/userprog/gdt.c b/src/userprog/gdt.c
index 0e393ec..a7423b7 100644
--- a/src/userprog/gdt.c
+++ b/src/userprog/gdt.c
@@ -1,8 +1,8 @@
 #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).
 
@@ -49,8 +49,8 @@ gdt_init (void)
      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));
 }
 
 /* System segment or code/data segment? */