aboutsummaryrefslogtreecommitdiffstats
path: root/man7
diff options
context:
space:
mode:
Diffstat (limited to 'man7')
-rw-r--r--man7/pkeys.75
1 files changed, 3 insertions, 2 deletions
diff --git a/man7/pkeys.7 b/man7/pkeys.7
index 055e57ce32..df8d75a14e 100644
--- a/man7/pkeys.7
+++ b/man7/pkeys.7
@@ -42,8 +42,9 @@ to change the contents of a register in order to remove write
access, or all access to a tagged page.
.PP
Protection keys work in conjunction with the existing
-.BR PROT_READ /
-.BR PROT_WRITE /
+.BR PROT_READ ,
+.BR PROT_WRITE ,
+and
.BR PROT_EXEC
permissions passed to system calls such as
.BR mprotect (2)