From: Ben Pfaff 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?a=commitdiff_plain;h=297ed9ddcd2bd29e038357e47d4a43a5a9df8180;p=pintos-anon PHYS_ADDR should be PHYS_BASE. Thanks to "Ryan Seth Propper" 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.