X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fthreads%2Fthread.c;h=0a606b76d19dc4374fd84566e9bf9d861d346caa;hb=f0ad7eb8b43516c7a2999fd217ec85d954dfc791;hp=ee83e0d07d8bf85488f72f9919ca9e38fe529ff8;hpb=3c9ec8fccaf30bdf29a8fcdaf129698ef01350cf;p=pintos-anon

diff --git a/src/threads/thread.c b/src/threads/thread.c
index ee83e0d..0a606b7 100644
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -285,7 +285,8 @@ idle (void *aux UNUSED)
       thread_block ();
       intr_enable ();
 
-      /* Use CPU `hlt' instruction to wait for interrupt. */
+      /* Use CPU `hlt' instruction to wait for interrupt.
+         See [IA32-v2a] "HLT" and [IA32-v3] 7.7. */
       asm ("hlt");
     }
 }