This machine has been supported for a period of more than 6 years. According to our versioned machine support policy (see commit ce80c4fa6ff "docs: document special exception for machine type deprecation & removal") it can now be removed.
Signed-off-by: Philippe Mathieu-Daudé <[email protected]> --- hw/ppc/spapr.c | 20 -------------------- 1 file changed, 20 deletions(-) diff --git a/hw/ppc/spapr.c b/hw/ppc/spapr.c index 200e68b8bc2..546e100c9cd 100644 --- a/hw/ppc/spapr.c +++ b/hw/ppc/spapr.c @@ -4944,26 +4944,6 @@ static void spapr_machine_4_2_class_options(MachineClass *mc) DEFINE_SPAPR_MACHINE(4, 2); -/* - * pseries-4.1 - */ -static void spapr_machine_4_1_class_options(MachineClass *mc) -{ - SpaprMachineClass *smc = SPAPR_MACHINE_CLASS(mc); - static GlobalProperty compat[] = { - /* Only allow 4kiB and 64kiB IOMMU pagesizes */ - { TYPE_SPAPR_PCI_HOST_BRIDGE, "pgsz", "0x11000" }, - }; - - spapr_machine_4_2_class_options(mc); - smc->linux_pci_probe = false; - smc->smp_threads_vsmt = false; - compat_props_add(mc->compat_props, hw_compat_4_1, hw_compat_4_1_len); - compat_props_add(mc->compat_props, compat, G_N_ELEMENTS(compat)); -} - -DEFINE_SPAPR_MACHINE(4, 1); - static void spapr_machine_register_types(void) { type_register_static(&spapr_machine_info); -- 2.51.0
