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

diff --git a/src/userprog/gdt.c b/src/userprog/gdt.c
index 0e393ec..e866037 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" : : "q" (SEL_TSS));
 }
 
 /* System segment or code/data segment? */