Update Intel architecture guide references to latest.

[pintos-anon] / src / threads / mmu.h

diff --git a/src/threads/mmu.h b/src/threads/mmu.h
index 6f8741c106a541018e974c10842c374d46ce35e8..e635b1ec8bb3fad7e00bfd85b53df32986c6de31 100644 (file)
--- a/src/threads/mmu.h
+++ b/src/threads/mmu.h
@@ -142,7 +142,8 @@ vtop (const void *vaddr)
 \f
 /* Page directories and page tables.
 
-   For more information see [IA32-v3] pages 3-23 to 3-28.
+   For more information see [IA32-v3a] 3.7.6 "Page-Directory and
+   Page-Table Entries".
 
    PDEs and PTEs share a common format: