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