Update Intel architecture guide references to latest.

[pintos-anon] / doc / threads.texi

diff --git a/doc/threads.texi b/doc/threads.texi
index b84a8f6e7ebffc397d55681e6169f4d800e7ef7f..8f07bb792ff461e512c770818efc7bfb11550a17 100644 (file)
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -185,8 +185,8 @@ project 3.  For now, you can ignore it.
 
 @item flags.h
 Macros that define a few bits in the 80@var{x}86 ``flags'' register.
-Probably of no interest.  See @bibref{IA32-v1}, section 3.4.3, for more
-information.
+Probably of no interest.  See @bibref{IA32-v1}, section 3.4.3, ``EFLAGS
+Register,'' for more information.
 @end table
 
 @menu