From 8a4fd427fe8236bb4f6993702112f058b5d80507 Mon Sep 17 00:00:00 2001
From: David Gibson <david@gibson.dropbear.id.au>
Date: Thu, 29 Mar 2018 18:34:22 +1100
Subject: [PATCH] spapr: Introduce pseries-2.13 machine type

Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
---
 hw/ppc/spapr.c      | 27 +++++++++++++++++++++++----
 include/hw/compat.h |  2 ++
 2 files changed, 25 insertions(+), 4 deletions(-)

diff --git a/hw/ppc/spapr.c b/hw/ppc/spapr.c
index 92194a9a53..b92dad2273 100644
--- a/hw/ppc/spapr.c
+++ b/hw/ppc/spapr.c
@@ -3985,18 +3985,37 @@ static const TypeInfo spapr_machine_info = {
     type_init(spapr_machine_register_##suffix)
 
 /*
- * pseries-2.12
+ * pseries-2.13
  */
-static void spapr_machine_2_12_instance_options(MachineState *machine)
+static void spapr_machine_2_13_instance_options(MachineState *machine)
 {
 }
 
-static void spapr_machine_2_12_class_options(MachineClass *mc)
+static void spapr_machine_2_13_class_options(MachineClass *mc)
 {
     /* Defaults for the latest behaviour inherited from the base class */
 }
 
-DEFINE_SPAPR_MACHINE(2_12, "2.12", true);
+DEFINE_SPAPR_MACHINE(2_13, "2.13", true);
+
+/*
+ * pseries-2.12
+ */
+#define SPAPR_COMPAT_2_12                                              \
+    HW_COMPAT_2_12
+
+static void spapr_machine_2_12_instance_options(MachineState *machine)
+{
+    spapr_machine_2_13_instance_options(machine);
+}
+
+static void spapr_machine_2_12_class_options(MachineClass *mc)
+{
+    spapr_machine_2_13_class_options(mc);
+    SET_MACHINE_COMPAT(mc, SPAPR_COMPAT_2_12);
+}
+
+DEFINE_SPAPR_MACHINE(2_12, "2.12", false);
 
 static void spapr_machine_2_12_sxxm_instance_options(MachineState *machine)
 {
diff --git a/include/hw/compat.h b/include/hw/compat.h
index 13242b831a..4681c2719a 100644
--- a/include/hw/compat.h
+++ b/include/hw/compat.h
@@ -1,6 +1,8 @@
 #ifndef HW_COMPAT_H
 #define HW_COMPAT_H
 
+#define HW_COMPAT_2_12
+
 #define HW_COMPAT_2_11 \
     {\
         .driver   = "hpet",\