X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fuserprog%2Fgdt.c;h=a7423b7ec986cfeae0fe439a6f697e51f5eff92c;hp=bed5d582fc45daf8df0f9212d4ec1674327eda5c;hb=1c765c09e567d3da51d5249932daa71f8a74ff9d;hpb=49c19e58aa14fba779bfe331b1ebaba62d31dfa5

diff --git a/src/userprog/gdt.c b/src/userprog/gdt.c
index bed5d58..a7423b7 100644
--- a/src/userprog/gdt.c
+++ b/src/userprog/gdt.c
@@ -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? */