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

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 72b3783..3e37213 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;
 }