Add memory clobbers to several asm statements,
[pintos-anon] / src / threads / interrupt.c
index 72b37837dcf420f98110b4e1ab23c838b3704a29..3e37213876768fcded5b4ad671636671231e3ea4 100644 (file)
@@ -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;
 }