diff --git a/include/hw/i386/pc.h b/include/hw/i386/pc.h
index c4165740cf..954203d227 100644
--- a/include/hw/i386/pc.h
+++ b/include/hw/i386/pc.h
@@ -350,6 +350,10 @@ bool e820_get_entry(int, uint32_t, uint64_t *, uint64_t *);
             .driver   = "SandyBridge" "-" TYPE_X86_CPU,\
             .property = "xlevel",\
             .value    = stringify(0x8000000a),\
+        },{\
+            .driver   = "IvyBridge" "-" TYPE_X86_CPU,\
+            .property = "xlevel",\
+            .value    = stringify(0x8000000a),\
         },{\
             .driver   = "Haswell" "-" TYPE_X86_CPU,\
             .property = "xlevel",\