X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=4d46b459033631b1c6851366f8286ca0c60944cf;hb=297ed9ddcd2bd29e038357e47d4a43a5a9df8180;hp=880fe46f74ffc4e26139f59f9f4428391247eca3;hpb=5779c099854ef6a635613c0dc9c7ea1cff6288dc;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 880fe46..4d46b45 100644
--- 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.