Partial mmap'd pages need not be lazy loaded.

diff --git a/doc/vm.texi b/doc/vm.texi
index 733a830b6882d04cb8a598e8dfbe334b73b55284..0f6fa4f9a95a57fcebbd1c6e02056d0bbfd9b7e9 100644 (file)
--- 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,