X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fmmu.h;h=e635b1ec8bb3fad7e00bfd85b53df32986c6de31;hb=a28c932b5562c40fd3ab36adcf21084b91eb46cc;hp=6f8741c106a541018e974c10842c374d46ce35e8;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon

diff --git a/src/threads/mmu.h b/src/threads/mmu.h
index 6f8741c..e635b1e 100644
--- a/src/threads/mmu.h
+++ b/src/threads/mmu.h
@@ -142,7 +142,8 @@ vtop (const void *vaddr)
 
 /* 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: