X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.c;fp=src%2Fthreads%2Finterrupt.c;h=05280c308c1034368c2c9cf519f39f5f455f6e92;hb=e8986e1729370576db361326023de72df746f848;hp=82b7db7d724bed32a60fe5d9c1c004192d2049fd;hpb=4a1626e2892423d2acf3f4a539183d3adc945cc2;p=pintos-anon

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 82b7db7..05280c3 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -111,7 +111,7 @@ intr_init (void)
   /* Load IDT register.
      See [IA32-v2a] "LIDT" and [IA32-v3] 5.10. */
   idtr_operand = make_idtr_operand (sizeof idt - 1, idt);
-  asm volatile ("lidt %0" :: "m" (idtr_operand));
+  asm volatile ("lidt [%0]" :: "r" (&idtr_operand));
 
   /* Initialize intr_names. */
   for (i = 0; i < INTR_CNT; i++)