diff options
Diffstat (limited to 'man5')
| -rw-r--r-- | man5/proc.5 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man5/proc.5 b/man5/proc.5 index 55db39b23b..a7df2ad345 100644 --- a/man5/proc.5 +++ b/man5/proc.5 @@ -4922,8 +4922,8 @@ Note that this is not supported for a few types of pages, such as kernel internally allocated data or the swap cache, but works for the majority of user pages. .IP 0: 4 -Only unmap the corrupted page from all processes and kill only a process -that tries to access it. +Unmap the corrupted page from all processes and kill a process +only if it tries to access the page. .RE .IP The kill is performed using a |
