@@ -234,6 +234,11 @@
#define LIBXL_HAVE_BUILDINFO_ARM_GIC_VERSION 1
/*
+ * libxl_domain_build_info has the arm.acpi field.
+ */
+#define LIBXL_HAVE_BUILDINFO_ARM_ACPI 1
+
+/*
* LIBXL_HAVE_SOFT_RESET indicates that libxl supports performing
* 'soft reset' for domains and there is 'soft_reset' shutdown reason
* in enum libxl_shutdown_reason.
@@ -560,6 +560,7 @@ libxl_domain_build_info = Struct("domain_build_info",[
("arch_arm", Struct(None, [("gic_version", libxl_gic_version),
+ ("acpi", libxl_defbool),
])),
], dir=DIR_IN
@@ -2506,6 +2506,10 @@ skip_usbdev:
}
}
+ if (xlu_cfg_get_defbool(config, "acpi", &b_info->arch_arm.acpi, 0)) {
+ libxl_defbool_set(&b_info->arch_arm.acpi, 0);
+ }
+
xlu_cfg_destroy(config);
}