Clarifications.

[pintos-anon] / doc / vm.texi

diff --git a/doc/vm.texi b/doc/vm.texi
index e4f463f5109df8e42c887f9b9aa6c587f1f61bfa..72bd6b9470f1c367ca40f302f20ef2a4e28ec20d 100644 (file)
--- 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