X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Fthread.c;h=1dc34adac7770f6bc53b5e5a1fb6b533ec0043f4;hp=938d7f87d6b0b296e676ca971928a6ba0823fd27;hb=49c19e58aa14fba779bfe331b1ebaba62d31dfa5;hpb=2ce1eb4d6c0adc209f56789920362d455cca443e

diff --git a/src/threads/thread.c b/src/threads/thread.c
index 938d7f8..1dc34ad 100644
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -389,7 +389,7 @@ idle (void *idle_started_ UNUSED)
 
          See [IA32-v2a] "HLT", [IA32-v2b] "STI", and [IA32-v3a]
          7.11.1 "HLT Instruction". */
-      asm ("sti; hlt");
+      asm volatile ("sti; hlt" : : : "memory");
     }
 }