From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 3 Jan 2006 17:00:02 +0000 (+0000)
Subject: Partial mmap'd pages need not be lazy loaded.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2088f404f44321f96e15b7886a043f1f29440b84;p=pintos-anon

Partial mmap'd pages need not be lazy loaded.
---

diff --git a/doc/vm.texi b/doc/vm.texi
index 733a830..0f6fa4f 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -521,6 +521,8 @@ If the file's length is not a multiple of @code{PGSIZE}, then some
 bytes in the final mapped page ``stick out'' beyond the end of the
 file.  Set these bytes to zero when the page is faulted in from disk,
 and discard them when the page is written back to disk.
+A partial page need not be lazily loaded, as in the case of a partial
+page in an executable (@pxref{Lazy Loading}).
 
 If successful, this function returns a ``mapping ID'' that
 uniquely identifies the mapping within the process.  On failure,