From: Ben Pfaff Date: Wed, 9 Feb 2005 06:07:36 +0000 (+0000) Subject: Fix typo. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=44effc6c9d8039df90154f2fed045ff2e96800da;p=pintos-anon Fix typo. --- diff --git a/doc/vm.texi b/doc/vm.texi index fe94820..6eff492 100644 --- a/doc/vm.texi +++ b/doc/vm.texi @@ -76,7 +76,7 @@ process would install its own page table into the machine. The page table contained all the virtual-to-physical translations for the process. Whenever the processor needed to look up a translation, it consulted the page table. As long as the process only accessed -memory that it didn't own, all was well. If the process accessed +memory that it owned, all was well. If the process accessed memory it didn't own, it ``page faulted'' and @func{page_fault} terminated the process.