X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.c;h=075962f5081cc09b4295ff87a35b8d9f057148e3;hb=84be0fa6a2efde38ca3e8e97ec17b53f0a16b399;hp=3e37213876768fcded5b4ad671636671231e3ea4;hpb=7714c5499ba0feccea323e0e2a2a0d9d32eeae9d;p=pintos-anon

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 3e37213..075962f 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -118,7 +118,7 @@ intr_init (void)
      See [IA32-v2a] "LIDT" and [IA32-v3a] 5.10 "Interrupt
      Descriptor Table (IDT)". */
   idtr_operand = make_idtr_operand (sizeof idt - 1, idt);
-  asm volatile ("lidt %0" :: "m" (idtr_operand));
+  asm volatile ("lidt %0" : : "m" (idtr_operand));
 
   /* Initialize intr_names. */
   for (i = 0; i < INTR_CNT; i++)