Comments.

[pintos-anon] / src / threads / thread.c

diff --git a/src/threads/thread.c b/src/threads/thread.c
index ee83e0d07d8bf85488f72f9919ca9e38fe529ff8..0a606b76d19dc4374fd84566e9bf9d861d346caa 100644 (file)
--- 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");
     }
 }