summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2025-04-29 16:35:00 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2025-04-29 16:35:00 +0200
commitb748ef0e1084b4470d876b042fc7ac79c6066a65 (patch)
tree35fcbcb288c8825da277a02dc76f1e526417c479
parentfc07af2f6bd34ef666a6da9efe6ad14766f67387 (diff)
typo
-rw-r--r--doc/mach.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mach.texi b/doc/mach.texi
index f54ed655..c34a788b 100644
--- a/doc/mach.texi
+++ b/doc/mach.texi
@@ -3730,7 +3730,7 @@ written, in bytes. This will be an integral number of memory object
pages.
The kernel will also use this call to return precious pages. If an
-unmodified precious age is returned, @var{dirty} is set to @code{FALSE},
+unmodified precious page is returned, @var{dirty} is set to @code{FALSE},
otherwise it is @code{TRUE}. If @var{kernel_copy} is @code{TRUE}, the
kernel kept a copy of the page. Precious data remains precious if the
kernel keeps a copy. The indication that the kernel kept a copy is only