Add memory clobbers to several asm statements,
[pintos-anon] / src / threads / init.c
index 2931704120c67bf39441ce56aa469a128b556e39..5961deba3e6f8d82cd0e75abab89321d87cda597 100644 (file)
@@ -382,7 +382,7 @@ power_off (void)
 
   for (p = s; *p != '\0'; p++)
     outb (0x8900, *p);
-  asm ("cli; hlt");
+  asm volatile ("cli; hlt" : : : "memory");
   printf ("still running...\n");
   for (;;);
 }