summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYahya Toubali <yahya@yahyatoubali.me>2026-07-18 17:56:13 +0100
committerJonathan Corbet <corbet@lwn.net>2026-07-22 10:16:31 -0600
commit61ef5e7e206db0477ab5b9aa47fcbb92c15db1ec (patch)
tree1b7956fe9ee662a7fa675c54ac61703381075c3b
parentd7758384ccb470aed7c7a86f0825b1b16bd7a288 (diff)
Documentation: proc: fix repeated word 'page'
Remove the duplicate 'page' in the sentence describing large page allocation accounting. The extra word makes the description confusing. Signed-off-by: Yahya Toubali <yahya@yahyatoubali.me> Signed-off-by: Jonathan Corbet <corbet@lwn.net> Message-ID: <20260718165613.1923550-1-yahya@yahyatoubali.me>
-rw-r--r--Documentation/filesystems/proc.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/filesystems/proc.rst b/Documentation/filesystems/proc.rst
index 2ccd5b2dfdd3..d22ac0addd42 100644
--- a/Documentation/filesystems/proc.rst
+++ b/Documentation/filesystems/proc.rst
@@ -513,7 +513,7 @@ In some kernel configurations, the semantics of pages part of a larger
allocation (e.g., THP) can differ: a page is accounted as "private" if all
pages part of the corresponding large allocation are *certainly* mapped in the
same process, even if the page is mapped multiple times in that process. A
-page is accounted as "shared" if any page page of the larger allocation
+page is accounted as "shared" if any page of the larger allocation
is *maybe* mapped in a different process. In some cases, a large allocation
might be treated as "maybe mapped by multiple processes" even though this
is no longer the case.