Update Intel architecture guide references to latest.

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

diff --git a/src/threads/thread.c b/src/threads/thread.c
index 5229aef34d013b5bfd8bcd9c09a2983637018dc9..01e8ea42919913a8c5219221c01f52a38f5f1d3e 100644 (file)
--- 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");
     }
 }