X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fgdt.c;fp=src%2Fuserprog%2Fgdt.c;h=34e2c050d739abfe44d04c1d052fa6124670e307;hb=e8986e1729370576db361326023de72df746f848;hp=42cad61449265c0e1179dfaf0dbc03b57c3010c0;hpb=4a1626e2892423d2acf3f4a539183d3adc945cc2;p=pintos-anon

diff --git a/src/userprog/gdt.c b/src/userprog/gdt.c
index 42cad61..34e2c05 100644
--- a/src/userprog/gdt.c
+++ b/src/userprog/gdt.c
@@ -46,7 +46,7 @@ gdt_init (void)
 
   /* Load GDTR, TR.  See [IA32-v3] 2.4.1, 2.4.4, 6.2.3.  */
   gdtr_operand = make_gdtr_operand (sizeof gdt - 1, gdt);
-  asm volatile ("lgdt %0" :: "m" (gdtr_operand));
+  asm volatile ("lgdt [%0]" :: "r" (&gdtr_operand));
   asm volatile ("ltr %w0" :: "r" (SEL_TSS));
 }