X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Fthread.c;h=01e8ea42919913a8c5219221c01f52a38f5f1d3e;hp=5229aef34d013b5bfd8bcd9c09a2983637018dc9;hb=8abbb333aea445641d967befd3ca477502ea770b;hpb=179d174444a023410c175bd2bc0c7f45be0fa508

diff --git a/src/threads/thread.c b/src/threads/thread.c
index 5229aef..01e8ea4 100644
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -365,7 +365,8 @@ idle (void *aux UNUSED)
          one to occur, wasting as much as one clock tick worth of
          time.
 
-         See [IA32-v2a] "HLT", [IA32-v2b] "STI", and [IA32-v3] 7.7. */
+         See [IA32-v2a] "HLT", [IA32-v2b] "STI", and [IA32-v3a]
+         7.11.1 "HLT Instruction". */
       asm ("sti; hlt");
     }
 }