X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=5961deba3e6f8d82cd0e75abab89321d87cda597;hp=2931704120c67bf39441ce56aa469a128b556e39;hb=49c19e58aa14fba779bfe331b1ebaba62d31dfa5;hpb=2ce1eb4d6c0adc209f56789920362d455cca443e

diff --git a/src/threads/init.c b/src/threads/init.c
index 2931704..5961deb 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -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 (;;);
 }