PHYS_ADDR should be PHYS_BASE.

Thanks to "Ryan Seth Propper" <rpropper@stanford.edu> for pointing it
out.

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 880fe46f74ffc4e26139f59f9f4428391247eca3..4d46b459033631b1c6851366f8286ca0c60944cf 100644 (file)
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -295,8 +295,8 @@ Kernel virtual memory is global.  It is always mapped the same way,
 regardless of what user process or kernel thread is running.  In
 Pintos, kernel virtual memory is mapped one-to-one to physical
 memory, starting at @code{PHYS_BASE}.  That is, virtual address
-@code{PHYS_ADDR} accesses physical
-address 0, virtual address @code{PHYS_ADDR} + @t{0x1234} access
+@code{PHYS_BASE} accesses physical
+address 0, virtual address @code{PHYS_BASE} + @t{0x1234} access
 physical address @t{0x1234}, and so on up to the size of the machine's
 physical memory.