From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 2 Feb 2006 14:47:50 +0000 (+0000)
Subject: PHYS_ADDR should be PHYS_BASE.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=297ed9ddcd2bd29e038357e47d4a43a5a9df8180

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 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.