From 8bedec788fc4d8b49e6db1b2c3af369281926c87 Mon Sep 17 00:00:00 2001 From: Godmar Back Date: Sat, 13 Jan 2007 14:39:41 +0000 Subject: [PATCH] fixed grammar/typo --- doc/userprog.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/userprog.texi b/doc/userprog.texi index f005d55..b50dc36 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -301,7 +301,7 @@ 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_BASE} accesses physical -address 0, virtual address @code{PHYS_BASE} + @t{0x1234} access +address 0, virtual address @code{PHYS_BASE} + @t{0x1234} accesses physical address @t{0x1234}, and so on up to the size of the machine's physical memory. -- 2.30.2