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

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++)