From ab4614c8c49aeb51a96db84c58ac9970851a36f6 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 2 Feb 2006 14:47:50 +0000 Subject: [PATCH] PHYS_ADDR should be PHYS_BASE. Thanks to "Ryan Seth Propper" for pointing it out. --- doc/userprog.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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. -- 2.30.2