[master] 863466e93 spelling: mmap

[Poul-Henning Kamp]

commit 863466e93e74a76f66febd7e5f3164be085a2c01
Author: Josh Soref <2119212+jsoref at users.noreply.github.com>
Date:   Wed Aug 7 08:30:58 2024 -0400

    spelling: mmap
    
    Signed-off-by: Josh Soref <2119212+jsoref at users.noreply.github.com>

diff --git a/doc/sphinx/phk/cheri3.rst b/doc/sphinx/phk/cheri3.rst
index 372d84050..47ad9604c 100644
--- a/doc/sphinx/phk/cheri3.rst
+++ b/doc/sphinx/phk/cheri3.rst
@@ -23,7 +23,7 @@ file with ``MAP_NOCORE``, was the only way to avoid the entire
 object cache being included in core-dumps.
 
 But CHERI will not allow you to put a pointer into a regular file
-``mmmap(2)``'ed ``MAP_SHARED``, because that would allow another
+``mmap(2)``'ed ``MAP_SHARED``, because that would allow another
 process, maybe even on a different computer, to ``mmap(2)`` the
 file ``MAP_SHARED`` later and, by implication, resurrect the pointers.