From 7e96efba50ebe46a00ef06937e155e8d5a1ac32c Mon Sep 17 00:00:00 2001 From: Brooks Davis Date: Fri, 24 Apr 2020 10:10:23 -0700 Subject: [PATCH] Remove unneeded words. --- cheri-c-programming.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cheri-c-programming.tex b/cheri-c-programming.tex index cfb4fc5..4a32331 100644 --- a/cheri-c-programming.tex +++ b/cheri-c-programming.tex @@ -1510,8 +1510,8 @@ \subsection{POSIX API changes} If a region of memory containing valid pointers is written to a file, and then read back, the pointers in that region will no longer be valid. If a file is memory mapped, then pages mapped copy-on-write - (\cconst{MAP\_PRIVATE}) are able to hold tagged pointers, since they are in - fact swap-backed rather than file-backed, but pages mapped directly from the + (\cconst{MAP\_PRIVATE}) are able to hold tagged pointers, since they are + swap-backed rather than file-backed, but pages mapped directly from the buffer cache (\cconst{MAP\_SHARED}) are not. \item[Passing pointers via IPC] In the CheriABI process environment, only