X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;h=6eff4925c262759137396831a46dbde7bb462d4b;hb=44effc6c9d8039df90154f2fed045ff2e96800da;hp=fe948207486f56800d8ae81010bc6ede91e1de3e;hpb=3f5eed42d1524ed62ee39bc5e9c679e9ae6adf16;p=pintos-anon 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.