prctl.2: ffix

Reported-by: Dave Martin <Dave.Martin@arm.com>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>

diff --git a/man2/prctl.2 b/man2/prctl.2
index 4e2d67345366c8199c357035655f7aa592c086a1..d7c7c4c6f394f3767c20432001194782401ca05e 100644 (file)
--- a/man2/prctl.2
+++ b/man2/prctl.2
@@ -833,12 +833,13 @@ These calls fail if the CPU or kernel does not support MPX.
 Kernel support for MPX is enabled via the
 .BR CONFIG_X86_INTEL_MPX
 configuration option.
-You can check whether the CPU supports MPX by looking for the 'mpx'
+You can check whether the CPU supports MPX by looking for the
+.I mpx
 CPUID bit, like with the following command:
 .IP
 .in +4n
 .EX
-cat /proc/cpuinfo | grep ' mpx '
+cat /proc/cpuinfo | grep \(aq mpx \(aq
 .EE
 .in
 .IP