X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.c;h=075962f5081cc09b4295ff87a35b8d9f057148e3;hb=702bfabad96885f82273de8dd9e377901054501e;hp=72b37837dcf420f98110b4e1ab23c838b3704a29;hpb=4b519bb1fe59f22cf3208cb5fa4cca6b454aed5c;p=pintos-anon

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 72b3783..075962f 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -95,7 +95,7 @@ intr_disable (void)
   /* Disable interrupts by clearing the interrupt flag.
      See [IA32-v2b] "CLI" and [IA32-v3a] 5.8.1 "Masking Maskable
      Hardware Interrupts". */
-  asm volatile ("cli");
+  asm volatile ("cli" : : : "memory");
 
   return old_level;
 }
@@ -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++)