From 11b0b31a14bd2c7dcb0cf7bc815b4c1887444a89 Mon Sep 17 00:00:00 2001
From: Michael Kerrisk <mtk.manpages@gmail.com>
Date: Wed, 13 May 2020 13:44:06 +0200
Subject: [PATCH] prctl.2: ffix

Reported-by: Dave Martin <Dave.Martin@arm.com>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
---
 man2/prctl.2 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/man2/prctl.2 b/man2/prctl.2
index 4e2d67345..d7c7c4c6f 100644
--- 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