It is specified as a literal CPU model, so worth fixing it.

Although the reader might eventually learn the correct name, assuming
they where to look -- `qemu-system-x86 -cpu help`.

Signed-off-by: Kashyap Chamarthy <kcham...@redhat.com>
---
 docs/system/cpu-models-x86.rst.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/system/cpu-models-x86.rst.inc 
b/docs/system/cpu-models-x86.rst.inc
index 9a2327828e..9b025c04cc 100644
--- a/docs/system/cpu-models-x86.rst.inc
+++ b/docs/system/cpu-models-x86.rst.inc
@@ -66,7 +66,7 @@ across all desired hosts.
 ``Haswell``, ``Haswell-IBRS``, ``Haswell-noTSX``, ``Haswell-noTSX-IBRS``
     Intel Core Processor (Haswell, 2013)
 
-``IvyBridge``, ``IvyBridge-IBR``
+``IvyBridge``, ``IvyBridge-IBRS``
     Intel Xeon E3-12xx v2 (Ivy Bridge, 2012)
 
 ``SandyBridge``, ``SandyBridge-IBRS``
-- 
2.21.1


Reply via email to