X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;h=72bd6b9470f1c367ca40f302f20ef2a4e28ec20d;hb=edc1683ed9dcb006cbdf2d29a970ed1f0a5b843f;hp=e4f463f5109df8e42c887f9b9aa6c587f1f61bfa;hpb=101845b2c3153f417f90e1c2809154187bfc9e54;p=pintos-anon

diff --git a/doc/vm.texi b/doc/vm.texi
index e4f463f..72bd6b9 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -291,8 +291,9 @@ The page fault handler, @func{page_fault} in
 @item
 Locate the page backing the virtual
 address that faulted.  It might be in the file system, in swap,
-already be in physical memory and just not set up in the page table,
 or it might be an invalid virtual address.
+If you implement sharing, it might even
+already be in physical memory and just not set up in the page table,
 
 If the virtual address is invalid, that is, if there's nothing
 assigned to go there, or if the virtual address is above