@@ -65,8 +65,7 @@ _hidden
int libxl__arch_domain_map_irq(libxl__gc *gc, uint32_t domid, int irq);
_hidden
-void libxl__arch_domain_build_info_acpi_setdefault(
- libxl_domain_build_info *b_info);
+void libxl__arch_domain_build_info_setdefault(libxl_domain_build_info *b_info);
_hidden
int libxl__arch_extra_memory(libxl__gc *gc,
@@ -1110,9 +1110,9 @@ int libxl__arch_domain_map_irq(libxl__gc *gc, uint32_t domid, int irq)
return xc_domain_bind_pt_spi_irq(CTX->xch, domid, irq, irq);
}
-void libxl__arch_domain_build_info_acpi_setdefault(
- libxl_domain_build_info *b_info)
+void libxl__arch_domain_build_info_setdefault(libxl_domain_build_info *b_info)
{
+ /* ACPI is disabled by default */
libxl_defbool_setdefault(&b_info->acpi, false);
}
@@ -215,7 +215,7 @@ int libxl__domain_build_info_setdefault(libxl__gc *gc,
if (!b_info->event_channels)
b_info->event_channels = 1023;
- libxl__arch_domain_build_info_acpi_setdefault(b_info);
+ libxl__arch_domain_build_info_setdefault(b_info);
libxl_defbool_setdefault(&b_info->dm_restrict, false);
switch (b_info->type) {
@@ -613,8 +613,7 @@ int libxl__arch_domain_finalise_hw_description(libxl__gc *gc,
return rc;
}
-void libxl__arch_domain_build_info_acpi_setdefault(
- libxl_domain_build_info *b_info)
+void libxl__arch_domain_build_info_setdefault(libxl_domain_build_info *b_info)
{
libxl_defbool_setdefault(&b_info->acpi, true);
}