xref: /openbmc/qemu/hw/i386/pc_piix.c (revision ff788b70)
1 /*
2  * QEMU PC System Emulator
3  *
4  * Copyright (c) 2003-2004 Fabrice Bellard
5  *
6  * Permission is hereby granted, free of charge, to any person obtaining a copy
7  * of this software and associated documentation files (the "Software"), to deal
8  * in the Software without restriction, including without limitation the rights
9  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10  * copies of the Software, and to permit persons to whom the Software is
11  * furnished to do so, subject to the following conditions:
12  *
13  * The above copyright notice and this permission notice shall be included in
14  * all copies or substantial portions of the Software.
15  *
16  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22  * THE SOFTWARE.
23  */
24 
25 #include "qemu/osdep.h"
26 #include CONFIG_DEVICES
27 
28 #include "qemu/units.h"
29 #include "hw/char/parallel-isa.h"
30 #include "hw/dma/i8257.h"
31 #include "hw/loader.h"
32 #include "hw/i386/x86.h"
33 #include "hw/i386/pc.h"
34 #include "hw/i386/apic.h"
35 #include "hw/pci-host/i440fx.h"
36 #include "hw/rtc/mc146818rtc.h"
37 #include "hw/southbridge/piix.h"
38 #include "hw/display/ramfb.h"
39 #include "hw/pci/pci.h"
40 #include "hw/pci/pci_ids.h"
41 #include "hw/usb.h"
42 #include "net/net.h"
43 #include "hw/ide/isa.h"
44 #include "hw/ide/pci.h"
45 #include "hw/irq.h"
46 #include "sysemu/kvm.h"
47 #include "hw/i386/kvm/clock.h"
48 #include "hw/sysbus.h"
49 #include "hw/i2c/smbus_eeprom.h"
50 #include "exec/memory.h"
51 #include "hw/acpi/acpi.h"
52 #include "qapi/error.h"
53 #include "qemu/error-report.h"
54 #include "sysemu/xen.h"
55 #ifdef CONFIG_XEN
56 #include <xen/hvm/hvm_info_table.h>
57 #include "hw/xen/xen_pt.h"
58 #include "hw/xen/xen_igd.h"
59 #endif
60 #include "hw/xen/xen-x86.h"
61 #include "hw/xen/xen.h"
62 #include "migration/global_state.h"
63 #include "migration/misc.h"
64 #include "sysemu/runstate.h"
65 #include "sysemu/numa.h"
66 #include "hw/hyperv/vmbus-bridge.h"
67 #include "hw/mem/nvdimm.h"
68 #include "hw/i386/acpi-build.h"
69 #include "target/i386/cpu.h"
70 
71 #define XEN_IOAPIC_NUM_PIRQS 128ULL
72 
73 #ifdef CONFIG_IDE_ISA
74 static const int ide_iobase[MAX_IDE_BUS] = { 0x1f0, 0x170 };
75 static const int ide_iobase2[MAX_IDE_BUS] = { 0x3f6, 0x376 };
76 static const int ide_irq[MAX_IDE_BUS] = { 14, 15 };
77 #endif
78 
79 /*
80  * Return the global irq number corresponding to a given device irq
81  * pin. We could also use the bus number to have a more precise mapping.
82  */
83 static int pc_pci_slot_get_pirq(PCIDevice *pci_dev, int pci_intx)
84 {
85     int slot_addend;
86     slot_addend = PCI_SLOT(pci_dev->devfn) - 1;
87     return (pci_intx + slot_addend) & 3;
88 }
89 
90 static void piix_intx_routing_notifier_xen(PCIDevice *dev)
91 {
92     int i;
93 
94     /* Scan for updates to PCI link routes. */
95     for (i = 0; i < PIIX_NUM_PIRQS; i++) {
96         const PCIINTxRoute route = pci_device_route_intx_to_irq(dev, i);
97         const uint8_t v = route.mode == PCI_INTX_ENABLED ? route.irq : 0;
98         xen_set_pci_link_route(i, v);
99     }
100 }
101 
102 /* PC hardware initialisation */
103 static void pc_init1(MachineState *machine, const char *pci_type)
104 {
105     PCMachineState *pcms = PC_MACHINE(machine);
106     PCMachineClass *pcmc = PC_MACHINE_GET_CLASS(pcms);
107     X86MachineState *x86ms = X86_MACHINE(machine);
108     MemoryRegion *system_memory = get_system_memory();
109     MemoryRegion *system_io = get_system_io();
110     Object *phb = NULL;
111     ISABus *isa_bus;
112     Object *piix4_pm = NULL;
113     qemu_irq smi_irq;
114     GSIState *gsi_state;
115     MemoryRegion *ram_memory;
116     MemoryRegion *pci_memory = NULL;
117     MemoryRegion *rom_memory = system_memory;
118     ram_addr_t lowmem;
119     uint64_t hole64_size = 0;
120 
121     /*
122      * Calculate ram split, for memory below and above 4G.  It's a bit
123      * complicated for backward compatibility reasons ...
124      *
125      *  - Traditional split is 3.5G (lowmem = 0xe0000000).  This is the
126      *    default value for max_ram_below_4g now.
127      *
128      *  - Then, to gigabyte align the memory, we move the split to 3G
129      *    (lowmem = 0xc0000000).  But only in case we have to split in
130      *    the first place, i.e. ram_size is larger than (traditional)
131      *    lowmem.  And for new machine types (gigabyte_align = true)
132      *    only, for live migration compatibility reasons.
133      *
134      *  - Next the max-ram-below-4g option was added, which allowed to
135      *    reduce lowmem to a smaller value, to allow a larger PCI I/O
136      *    window below 4G.  qemu doesn't enforce gigabyte alignment here,
137      *    but prints a warning.
138      *
139      *  - Finally max-ram-below-4g got updated to also allow raising lowmem,
140      *    so legacy non-PAE guests can get as much memory as possible in
141      *    the 32bit address space below 4G.
142      *
143      *  - Note that Xen has its own ram setup code in xen_ram_init(),
144      *    called via xen_hvm_init_pc().
145      *
146      * Examples:
147      *    qemu -M pc-1.7 -m 4G    (old default)    -> 3584M low,  512M high
148      *    qemu -M pc -m 4G        (new default)    -> 3072M low, 1024M high
149      *    qemu -M pc,max-ram-below-4g=2G -m 4G     -> 2048M low, 2048M high
150      *    qemu -M pc,max-ram-below-4g=4G -m 3968M  -> 3968M low (=4G-128M)
151      */
152     if (xen_enabled()) {
153         xen_hvm_init_pc(pcms, &ram_memory);
154     } else {
155         ram_memory = machine->ram;
156         if (!pcms->max_ram_below_4g) {
157             pcms->max_ram_below_4g = 0xe0000000; /* default: 3.5G */
158         }
159         lowmem = pcms->max_ram_below_4g;
160         if (machine->ram_size >= pcms->max_ram_below_4g) {
161             if (pcmc->gigabyte_align) {
162                 if (lowmem > 0xc0000000) {
163                     lowmem = 0xc0000000;
164                 }
165                 if (lowmem & (1 * GiB - 1)) {
166                     warn_report("Large machine and max_ram_below_4g "
167                                 "(%" PRIu64 ") not a multiple of 1G; "
168                                 "possible bad performance.",
169                                 pcms->max_ram_below_4g);
170                 }
171             }
172         }
173 
174         if (machine->ram_size >= lowmem) {
175             x86ms->above_4g_mem_size = machine->ram_size - lowmem;
176             x86ms->below_4g_mem_size = lowmem;
177         } else {
178             x86ms->above_4g_mem_size = 0;
179             x86ms->below_4g_mem_size = machine->ram_size;
180         }
181     }
182 
183     pc_machine_init_sgx_epc(pcms);
184     x86_cpus_init(x86ms, pcmc->default_cpu_version);
185 
186     if (kvm_enabled()) {
187         kvmclock_create(pcmc->kvmclock_create_always);
188     }
189 
190     if (pcmc->pci_enabled) {
191         pci_memory = g_new(MemoryRegion, 1);
192         memory_region_init(pci_memory, NULL, "pci", UINT64_MAX);
193         rom_memory = pci_memory;
194 
195         phb = OBJECT(qdev_new(TYPE_I440FX_PCI_HOST_BRIDGE));
196         object_property_add_child(OBJECT(machine), "i440fx", phb);
197         object_property_set_link(phb, PCI_HOST_PROP_RAM_MEM,
198                                  OBJECT(ram_memory), &error_fatal);
199         object_property_set_link(phb, PCI_HOST_PROP_PCI_MEM,
200                                  OBJECT(pci_memory), &error_fatal);
201         object_property_set_link(phb, PCI_HOST_PROP_SYSTEM_MEM,
202                                  OBJECT(system_memory), &error_fatal);
203         object_property_set_link(phb, PCI_HOST_PROP_IO_MEM,
204                                  OBJECT(system_io), &error_fatal);
205         object_property_set_uint(phb, PCI_HOST_BELOW_4G_MEM_SIZE,
206                                  x86ms->below_4g_mem_size, &error_fatal);
207         object_property_set_uint(phb, PCI_HOST_ABOVE_4G_MEM_SIZE,
208                                  x86ms->above_4g_mem_size, &error_fatal);
209         object_property_set_str(phb, I440FX_HOST_PROP_PCI_TYPE, pci_type,
210                                 &error_fatal);
211         sysbus_realize_and_unref(SYS_BUS_DEVICE(phb), &error_fatal);
212 
213         pcms->pcibus = PCI_BUS(qdev_get_child_bus(DEVICE(phb), "pci.0"));
214         pci_bus_map_irqs(pcms->pcibus,
215                          xen_enabled() ? xen_pci_slot_get_pirq
216                                        : pc_pci_slot_get_pirq);
217 
218         hole64_size = object_property_get_uint(phb,
219                                                PCI_HOST_PROP_PCI_HOLE64_SIZE,
220                                                &error_abort);
221     }
222 
223     /* allocate ram and load rom/bios */
224     if (!xen_enabled()) {
225         pc_memory_init(pcms, system_memory, rom_memory, hole64_size);
226     } else {
227         assert(machine->ram_size == x86ms->below_4g_mem_size +
228                                     x86ms->above_4g_mem_size);
229 
230         pc_system_flash_cleanup_unused(pcms);
231         if (machine->kernel_filename != NULL) {
232             /* For xen HVM direct kernel boot, load linux here */
233             xen_load_linux(pcms);
234         }
235     }
236 
237     gsi_state = pc_gsi_create(&x86ms->gsi, pcmc->pci_enabled);
238 
239     if (pcmc->pci_enabled) {
240         PCIDevice *pci_dev;
241         DeviceState *dev;
242         size_t i;
243 
244         pci_dev = pci_new_multifunction(-1, pcms->south_bridge);
245         object_property_set_bool(OBJECT(pci_dev), "has-usb",
246                                  machine_usb(machine), &error_abort);
247         object_property_set_bool(OBJECT(pci_dev), "has-acpi",
248                                  x86_machine_is_acpi_enabled(x86ms),
249                                  &error_abort);
250         object_property_set_bool(OBJECT(pci_dev), "has-pic", false,
251                                  &error_abort);
252         object_property_set_bool(OBJECT(pci_dev), "has-pit", false,
253                                  &error_abort);
254         qdev_prop_set_uint32(DEVICE(pci_dev), "smb_io_base", 0xb100);
255         object_property_set_bool(OBJECT(pci_dev), "smm-enabled",
256                                  x86_machine_is_smm_enabled(x86ms),
257                                  &error_abort);
258         dev = DEVICE(pci_dev);
259         for (i = 0; i < ISA_NUM_IRQS; i++) {
260             qdev_connect_gpio_out_named(dev, "isa-irqs", i, x86ms->gsi[i]);
261         }
262         pci_realize_and_unref(pci_dev, pcms->pcibus, &error_fatal);
263 
264         if (xen_enabled()) {
265             pci_device_set_intx_routing_notifier(
266                         pci_dev, piix_intx_routing_notifier_xen);
267 
268             /*
269              * Xen supports additional interrupt routes from the PCI devices to
270              * the IOAPIC: the four pins of each PCI device on the bus are also
271              * connected to the IOAPIC directly.
272              * These additional routes can be discovered through ACPI.
273              */
274             pci_bus_irqs(pcms->pcibus, xen_intx_set_irq, pci_dev,
275                          XEN_IOAPIC_NUM_PIRQS);
276         }
277 
278         isa_bus = ISA_BUS(qdev_get_child_bus(DEVICE(pci_dev), "isa.0"));
279         x86ms->rtc = ISA_DEVICE(object_resolve_path_component(OBJECT(pci_dev),
280                                                               "rtc"));
281         piix4_pm = object_resolve_path_component(OBJECT(pci_dev), "pm");
282         dev = DEVICE(object_resolve_path_component(OBJECT(pci_dev), "ide"));
283         pci_ide_create_devs(PCI_DEVICE(dev));
284         pcms->idebus[0] = qdev_get_child_bus(dev, "ide.0");
285         pcms->idebus[1] = qdev_get_child_bus(dev, "ide.1");
286     } else {
287         isa_bus = isa_bus_new(NULL, system_memory, system_io,
288                               &error_abort);
289         isa_bus_register_input_irqs(isa_bus, x86ms->gsi);
290 
291         x86ms->rtc = isa_new(TYPE_MC146818_RTC);
292         qdev_prop_set_int32(DEVICE(x86ms->rtc), "base_year", 2000);
293         isa_realize_and_unref(x86ms->rtc, isa_bus, &error_fatal);
294 
295         i8257_dma_init(OBJECT(machine), isa_bus, 0);
296         pcms->hpet_enabled = false;
297     }
298 
299     if (x86ms->pic == ON_OFF_AUTO_ON || x86ms->pic == ON_OFF_AUTO_AUTO) {
300         pc_i8259_create(isa_bus, gsi_state->i8259_irq);
301     }
302 
303     if (phb) {
304         ioapic_init_gsi(gsi_state, phb);
305     }
306 
307     if (tcg_enabled()) {
308         x86_register_ferr_irq(x86ms->gsi[13]);
309     }
310 
311     pc_vga_init(isa_bus, pcmc->pci_enabled ? pcms->pcibus : NULL);
312 
313     /* init basic PC hardware */
314     pc_basic_device_init(pcms, isa_bus, x86ms->gsi, x86ms->rtc,
315                          !MACHINE_CLASS(pcmc)->no_floppy, 0x4);
316 
317     pc_nic_init(pcmc, isa_bus, pcms->pcibus);
318 
319 #ifdef CONFIG_IDE_ISA
320     if (!pcmc->pci_enabled) {
321         DriveInfo *hd[MAX_IDE_BUS * MAX_IDE_DEVS];
322         int i;
323 
324         ide_drive_get(hd, ARRAY_SIZE(hd));
325         for (i = 0; i < MAX_IDE_BUS; i++) {
326             ISADevice *dev;
327             char busname[] = "ide.0";
328             dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i],
329                                ide_irq[i],
330                                hd[MAX_IDE_DEVS * i], hd[MAX_IDE_DEVS * i + 1]);
331             /*
332              * The ide bus name is ide.0 for the first bus and ide.1 for the
333              * second one.
334              */
335             busname[4] = '0' + i;
336             pcms->idebus[i] = qdev_get_child_bus(DEVICE(dev), busname);
337         }
338     }
339 #endif
340 
341     if (piix4_pm) {
342         smi_irq = qemu_allocate_irq(pc_acpi_smi_interrupt, first_cpu, 0);
343 
344         qdev_connect_gpio_out_named(DEVICE(piix4_pm), "smi-irq", 0, smi_irq);
345         pcms->smbus = I2C_BUS(qdev_get_child_bus(DEVICE(piix4_pm), "i2c"));
346         /* TODO: Populate SPD eeprom data.  */
347         smbus_eeprom_init(pcms->smbus, 8, NULL, 0);
348 
349         object_property_add_link(OBJECT(machine), PC_MACHINE_ACPI_DEVICE_PROP,
350                                  TYPE_HOTPLUG_HANDLER,
351                                  (Object **)&x86ms->acpi_dev,
352                                  object_property_allow_set_link,
353                                  OBJ_PROP_LINK_STRONG);
354         object_property_set_link(OBJECT(machine), PC_MACHINE_ACPI_DEVICE_PROP,
355                                  piix4_pm, &error_abort);
356     }
357 
358     if (machine->nvdimms_state->is_enabled) {
359         nvdimm_init_acpi_state(machine->nvdimms_state, system_io,
360                                x86_nvdimm_acpi_dsmio,
361                                x86ms->fw_cfg, OBJECT(pcms));
362     }
363 }
364 
365 typedef enum PCSouthBridgeOption {
366     PC_SOUTH_BRIDGE_OPTION_PIIX3,
367     PC_SOUTH_BRIDGE_OPTION_PIIX4,
368     PC_SOUTH_BRIDGE_OPTION_MAX,
369 } PCSouthBridgeOption;
370 
371 static const QEnumLookup PCSouthBridgeOption_lookup = {
372     .array = (const char *const[]) {
373         [PC_SOUTH_BRIDGE_OPTION_PIIX3] = TYPE_PIIX3_DEVICE,
374         [PC_SOUTH_BRIDGE_OPTION_PIIX4] = TYPE_PIIX4_PCI_DEVICE,
375     },
376     .size = PC_SOUTH_BRIDGE_OPTION_MAX
377 };
378 
379 static int pc_get_south_bridge(Object *obj, Error **errp)
380 {
381     PCMachineState *pcms = PC_MACHINE(obj);
382     int i;
383 
384     for (i = 0; i < PCSouthBridgeOption_lookup.size; i++) {
385         if (g_strcmp0(PCSouthBridgeOption_lookup.array[i],
386                       pcms->south_bridge) == 0) {
387             return i;
388         }
389     }
390 
391     error_setg(errp, "Invalid south bridge value set");
392     return 0;
393 }
394 
395 static void pc_set_south_bridge(Object *obj, int value, Error **errp)
396 {
397     PCMachineState *pcms = PC_MACHINE(obj);
398 
399     if (value < 0) {
400         error_setg(errp, "Value can't be negative");
401         return;
402     }
403 
404     if (value >= PCSouthBridgeOption_lookup.size) {
405         error_setg(errp, "Value too big");
406         return;
407     }
408 
409     pcms->south_bridge = PCSouthBridgeOption_lookup.array[value];
410 }
411 
412 #ifdef CONFIG_ISAPC
413 static void pc_init_isa(MachineState *machine)
414 {
415     pc_init1(machine, NULL);
416 }
417 #endif
418 
419 #ifdef CONFIG_XEN
420 static void pc_xen_hvm_init_pci(MachineState *machine)
421 {
422     const char *pci_type = xen_igd_gfx_pt_enabled() ?
423                 TYPE_IGD_PASSTHROUGH_I440FX_PCI_DEVICE : TYPE_I440FX_PCI_DEVICE;
424 
425     pc_init1(machine, pci_type);
426 }
427 
428 static void pc_xen_hvm_init(MachineState *machine)
429 {
430     PCMachineState *pcms = PC_MACHINE(machine);
431 
432     if (!xen_enabled()) {
433         error_report("xenfv machine requires the xen accelerator");
434         exit(1);
435     }
436 
437     pc_xen_hvm_init_pci(machine);
438     xen_igd_reserve_slot(pcms->pcibus);
439     pci_create_simple(pcms->pcibus, -1, "xen-platform");
440 }
441 #endif
442 
443 static void pc_i440fx_init(MachineState *machine)
444 {
445     pc_init1(machine, TYPE_I440FX_PCI_DEVICE);
446 }
447 
448 #define DEFINE_I440FX_MACHINE(major, minor) \
449     DEFINE_PC_VER_MACHINE(pc_i440fx, "pc-i440fx", pc_i440fx_init, major, minor);
450 
451 static void pc_i440fx_machine_options(MachineClass *m)
452 {
453     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
454     ObjectClass *oc = OBJECT_CLASS(m);
455     pcmc->default_south_bridge = TYPE_PIIX3_DEVICE;
456     pcmc->pci_root_uid = 0;
457     pcmc->default_cpu_version = 1;
458 
459     m->family = "pc_piix";
460     m->desc = "Standard PC (i440FX + PIIX, 1996)";
461     m->default_machine_opts = "firmware=bios-256k.bin";
462     m->default_display = "std";
463     m->default_nic = "e1000";
464     m->no_floppy = !module_object_class_by_name(TYPE_ISA_FDC);
465     m->no_parallel = !module_object_class_by_name(TYPE_ISA_PARALLEL);
466     machine_class_allow_dynamic_sysbus_dev(m, TYPE_RAMFB_DEVICE);
467     machine_class_allow_dynamic_sysbus_dev(m, TYPE_VMBUS_BRIDGE);
468 
469     object_class_property_add_enum(oc, "x-south-bridge", "PCSouthBridgeOption",
470                                    &PCSouthBridgeOption_lookup,
471                                    pc_get_south_bridge,
472                                    pc_set_south_bridge);
473     object_class_property_set_description(oc, "x-south-bridge",
474                                      "Use a different south bridge than PIIX3");
475 }
476 
477 static void pc_i440fx_machine_9_2_options(MachineClass *m)
478 {
479     pc_i440fx_machine_options(m);
480     m->alias = "pc";
481     m->is_default = true;
482 }
483 
484 DEFINE_I440FX_MACHINE(9, 2);
485 
486 static void pc_i440fx_machine_9_1_options(MachineClass *m)
487 {
488     pc_i440fx_machine_9_2_options(m);
489     m->alias = NULL;
490     m->is_default = false;
491     compat_props_add(m->compat_props, hw_compat_9_1, hw_compat_9_1_len);
492     compat_props_add(m->compat_props, pc_compat_9_1, pc_compat_9_1_len);
493 }
494 
495 DEFINE_I440FX_MACHINE(9, 1);
496 
497 static void pc_i440fx_machine_9_0_options(MachineClass *m)
498 {
499     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
500 
501     pc_i440fx_machine_9_1_options(m);
502     m->smbios_memory_device_size = 16 * GiB;
503 
504     compat_props_add(m->compat_props, hw_compat_9_0, hw_compat_9_0_len);
505     compat_props_add(m->compat_props, pc_compat_9_0, pc_compat_9_0_len);
506     pcmc->isa_bios_alias = false;
507 }
508 
509 DEFINE_I440FX_MACHINE(9, 0);
510 
511 static void pc_i440fx_machine_8_2_options(MachineClass *m)
512 {
513     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
514 
515     pc_i440fx_machine_9_0_options(m);
516 
517     compat_props_add(m->compat_props, hw_compat_8_2, hw_compat_8_2_len);
518     compat_props_add(m->compat_props, pc_compat_8_2, pc_compat_8_2_len);
519     /* For pc-i44fx-8.2 and 8.1, use SMBIOS 3.X by default */
520     pcmc->default_smbios_ep_type = SMBIOS_ENTRY_POINT_TYPE_64;
521 }
522 
523 DEFINE_I440FX_MACHINE(8, 2);
524 
525 static void pc_i440fx_machine_8_1_options(MachineClass *m)
526 {
527     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
528 
529     pc_i440fx_machine_8_2_options(m);
530     pcmc->broken_32bit_mem_addr_check = true;
531 
532     compat_props_add(m->compat_props, hw_compat_8_1, hw_compat_8_1_len);
533     compat_props_add(m->compat_props, pc_compat_8_1, pc_compat_8_1_len);
534 }
535 
536 DEFINE_I440FX_MACHINE(8, 1);
537 
538 static void pc_i440fx_machine_8_0_options(MachineClass *m)
539 {
540     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
541 
542     pc_i440fx_machine_8_1_options(m);
543     compat_props_add(m->compat_props, hw_compat_8_0, hw_compat_8_0_len);
544     compat_props_add(m->compat_props, pc_compat_8_0, pc_compat_8_0_len);
545 
546     /* For pc-i44fx-8.0 and older, use SMBIOS 2.8 by default */
547     pcmc->default_smbios_ep_type = SMBIOS_ENTRY_POINT_TYPE_32;
548 }
549 
550 DEFINE_I440FX_MACHINE(8, 0);
551 
552 static void pc_i440fx_machine_7_2_options(MachineClass *m)
553 {
554     pc_i440fx_machine_8_0_options(m);
555     compat_props_add(m->compat_props, hw_compat_7_2, hw_compat_7_2_len);
556     compat_props_add(m->compat_props, pc_compat_7_2, pc_compat_7_2_len);
557 }
558 
559 DEFINE_I440FX_MACHINE(7, 2)
560 
561 static void pc_i440fx_machine_7_1_options(MachineClass *m)
562 {
563     pc_i440fx_machine_7_2_options(m);
564     compat_props_add(m->compat_props, hw_compat_7_1, hw_compat_7_1_len);
565     compat_props_add(m->compat_props, pc_compat_7_1, pc_compat_7_1_len);
566 }
567 
568 DEFINE_I440FX_MACHINE(7, 1);
569 
570 static void pc_i440fx_machine_7_0_options(MachineClass *m)
571 {
572     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
573     pc_i440fx_machine_7_1_options(m);
574     pcmc->enforce_amd_1tb_hole = false;
575     compat_props_add(m->compat_props, hw_compat_7_0, hw_compat_7_0_len);
576     compat_props_add(m->compat_props, pc_compat_7_0, pc_compat_7_0_len);
577 }
578 
579 DEFINE_I440FX_MACHINE(7, 0);
580 
581 static void pc_i440fx_machine_6_2_options(MachineClass *m)
582 {
583     pc_i440fx_machine_7_0_options(m);
584     compat_props_add(m->compat_props, hw_compat_6_2, hw_compat_6_2_len);
585     compat_props_add(m->compat_props, pc_compat_6_2, pc_compat_6_2_len);
586 }
587 
588 DEFINE_I440FX_MACHINE(6, 2);
589 
590 static void pc_i440fx_machine_6_1_options(MachineClass *m)
591 {
592     pc_i440fx_machine_6_2_options(m);
593     compat_props_add(m->compat_props, hw_compat_6_1, hw_compat_6_1_len);
594     compat_props_add(m->compat_props, pc_compat_6_1, pc_compat_6_1_len);
595     m->smp_props.prefer_sockets = true;
596 }
597 
598 DEFINE_I440FX_MACHINE(6, 1);
599 
600 static void pc_i440fx_machine_6_0_options(MachineClass *m)
601 {
602     pc_i440fx_machine_6_1_options(m);
603     compat_props_add(m->compat_props, hw_compat_6_0, hw_compat_6_0_len);
604     compat_props_add(m->compat_props, pc_compat_6_0, pc_compat_6_0_len);
605 }
606 
607 DEFINE_I440FX_MACHINE(6, 0);
608 
609 static void pc_i440fx_machine_5_2_options(MachineClass *m)
610 {
611     pc_i440fx_machine_6_0_options(m);
612     compat_props_add(m->compat_props, hw_compat_5_2, hw_compat_5_2_len);
613     compat_props_add(m->compat_props, pc_compat_5_2, pc_compat_5_2_len);
614 }
615 
616 DEFINE_I440FX_MACHINE(5, 2);
617 
618 static void pc_i440fx_machine_5_1_options(MachineClass *m)
619 {
620     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
621 
622     pc_i440fx_machine_5_2_options(m);
623     compat_props_add(m->compat_props, hw_compat_5_1, hw_compat_5_1_len);
624     compat_props_add(m->compat_props, pc_compat_5_1, pc_compat_5_1_len);
625     pcmc->kvmclock_create_always = false;
626     pcmc->pci_root_uid = 1;
627 }
628 
629 DEFINE_I440FX_MACHINE(5, 1);
630 
631 static void pc_i440fx_machine_5_0_options(MachineClass *m)
632 {
633     pc_i440fx_machine_5_1_options(m);
634     m->numa_mem_supported = true;
635     compat_props_add(m->compat_props, hw_compat_5_0, hw_compat_5_0_len);
636     compat_props_add(m->compat_props, pc_compat_5_0, pc_compat_5_0_len);
637     m->auto_enable_numa_with_memdev = false;
638 }
639 
640 DEFINE_I440FX_MACHINE(5, 0);
641 
642 static void pc_i440fx_machine_4_2_options(MachineClass *m)
643 {
644     pc_i440fx_machine_5_0_options(m);
645     compat_props_add(m->compat_props, hw_compat_4_2, hw_compat_4_2_len);
646     compat_props_add(m->compat_props, pc_compat_4_2, pc_compat_4_2_len);
647 }
648 
649 DEFINE_I440FX_MACHINE(4, 2);
650 
651 static void pc_i440fx_machine_4_1_options(MachineClass *m)
652 {
653     pc_i440fx_machine_4_2_options(m);
654     compat_props_add(m->compat_props, hw_compat_4_1, hw_compat_4_1_len);
655     compat_props_add(m->compat_props, pc_compat_4_1, pc_compat_4_1_len);
656 }
657 
658 DEFINE_I440FX_MACHINE(4, 1);
659 
660 static void pc_i440fx_machine_4_0_options(MachineClass *m)
661 {
662     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
663     pc_i440fx_machine_4_1_options(m);
664     pcmc->default_cpu_version = CPU_VERSION_LEGACY;
665     compat_props_add(m->compat_props, hw_compat_4_0, hw_compat_4_0_len);
666     compat_props_add(m->compat_props, pc_compat_4_0, pc_compat_4_0_len);
667 }
668 
669 DEFINE_I440FX_MACHINE(4, 0);
670 
671 static void pc_i440fx_machine_3_1_options(MachineClass *m)
672 {
673     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
674 
675     pc_i440fx_machine_4_0_options(m);
676     m->smbus_no_migration_support = true;
677     pcmc->pvh_enabled = false;
678     compat_props_add(m->compat_props, hw_compat_3_1, hw_compat_3_1_len);
679     compat_props_add(m->compat_props, pc_compat_3_1, pc_compat_3_1_len);
680 }
681 
682 DEFINE_I440FX_MACHINE(3, 1);
683 
684 static void pc_i440fx_machine_3_0_options(MachineClass *m)
685 {
686     pc_i440fx_machine_3_1_options(m);
687     compat_props_add(m->compat_props, hw_compat_3_0, hw_compat_3_0_len);
688     compat_props_add(m->compat_props, pc_compat_3_0, pc_compat_3_0_len);
689 }
690 
691 DEFINE_I440FX_MACHINE(3, 0);
692 
693 static void pc_i440fx_machine_2_12_options(MachineClass *m)
694 {
695     pc_i440fx_machine_3_0_options(m);
696     compat_props_add(m->compat_props, hw_compat_2_12, hw_compat_2_12_len);
697     compat_props_add(m->compat_props, pc_compat_2_12, pc_compat_2_12_len);
698 }
699 
700 DEFINE_I440FX_MACHINE(2, 12);
701 
702 static void pc_i440fx_machine_2_11_options(MachineClass *m)
703 {
704     pc_i440fx_machine_2_12_options(m);
705     compat_props_add(m->compat_props, hw_compat_2_11, hw_compat_2_11_len);
706     compat_props_add(m->compat_props, pc_compat_2_11, pc_compat_2_11_len);
707 }
708 
709 DEFINE_I440FX_MACHINE(2, 11);
710 
711 static void pc_i440fx_machine_2_10_options(MachineClass *m)
712 {
713     pc_i440fx_machine_2_11_options(m);
714     compat_props_add(m->compat_props, hw_compat_2_10, hw_compat_2_10_len);
715     compat_props_add(m->compat_props, pc_compat_2_10, pc_compat_2_10_len);
716     m->auto_enable_numa_with_memhp = false;
717 }
718 
719 DEFINE_I440FX_MACHINE(2, 10);
720 
721 static void pc_i440fx_machine_2_9_options(MachineClass *m)
722 {
723     pc_i440fx_machine_2_10_options(m);
724     compat_props_add(m->compat_props, hw_compat_2_9, hw_compat_2_9_len);
725     compat_props_add(m->compat_props, pc_compat_2_9, pc_compat_2_9_len);
726 }
727 
728 DEFINE_I440FX_MACHINE(2, 9);
729 
730 static void pc_i440fx_machine_2_8_options(MachineClass *m)
731 {
732     pc_i440fx_machine_2_9_options(m);
733     compat_props_add(m->compat_props, hw_compat_2_8, hw_compat_2_8_len);
734     compat_props_add(m->compat_props, pc_compat_2_8, pc_compat_2_8_len);
735 }
736 
737 DEFINE_I440FX_MACHINE(2, 8);
738 
739 static void pc_i440fx_machine_2_7_options(MachineClass *m)
740 {
741     pc_i440fx_machine_2_8_options(m);
742     compat_props_add(m->compat_props, hw_compat_2_7, hw_compat_2_7_len);
743     compat_props_add(m->compat_props, pc_compat_2_7, pc_compat_2_7_len);
744 }
745 
746 DEFINE_I440FX_MACHINE(2, 7);
747 
748 static void pc_i440fx_machine_2_6_options(MachineClass *m)
749 {
750     X86MachineClass *x86mc = X86_MACHINE_CLASS(m);
751     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
752 
753     pc_i440fx_machine_2_7_options(m);
754     pcmc->legacy_cpu_hotplug = true;
755     x86mc->fwcfg_dma_enabled = false;
756     compat_props_add(m->compat_props, hw_compat_2_6, hw_compat_2_6_len);
757     compat_props_add(m->compat_props, pc_compat_2_6, pc_compat_2_6_len);
758 }
759 
760 DEFINE_I440FX_MACHINE(2, 6);
761 
762 static void pc_i440fx_machine_2_5_options(MachineClass *m)
763 {
764     X86MachineClass *x86mc = X86_MACHINE_CLASS(m);
765 
766     pc_i440fx_machine_2_6_options(m);
767     x86mc->save_tsc_khz = false;
768     m->legacy_fw_cfg_order = 1;
769     compat_props_add(m->compat_props, hw_compat_2_5, hw_compat_2_5_len);
770     compat_props_add(m->compat_props, pc_compat_2_5, pc_compat_2_5_len);
771 }
772 
773 DEFINE_I440FX_MACHINE(2, 5);
774 
775 static void pc_i440fx_machine_2_4_options(MachineClass *m)
776 {
777     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
778 
779     pc_i440fx_machine_2_5_options(m);
780     m->hw_version = "2.4.0";
781     pcmc->broken_reserved_end = true;
782     compat_props_add(m->compat_props, hw_compat_2_4, hw_compat_2_4_len);
783     compat_props_add(m->compat_props, pc_compat_2_4, pc_compat_2_4_len);
784 }
785 
786 DEFINE_I440FX_MACHINE(2, 4);
787 
788 #ifdef CONFIG_ISAPC
789 static void isapc_machine_options(MachineClass *m)
790 {
791     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
792     m->desc = "ISA-only PC";
793     m->max_cpus = 1;
794     m->option_rom_has_mr = true;
795     m->rom_file_has_mr = false;
796     pcmc->pci_enabled = false;
797     pcmc->has_acpi_build = false;
798     pcmc->smbios_defaults = false;
799     pcmc->gigabyte_align = false;
800     pcmc->smbios_legacy_mode = true;
801     pcmc->has_reserved_memory = false;
802     m->default_nic = "ne2k_isa";
803     m->default_cpu_type = X86_CPU_TYPE_NAME("486");
804     m->no_floppy = !module_object_class_by_name(TYPE_ISA_FDC);
805     m->no_parallel = !module_object_class_by_name(TYPE_ISA_PARALLEL);
806 }
807 
808 DEFINE_PC_MACHINE(isapc, "isapc", pc_init_isa,
809                   isapc_machine_options);
810 #endif
811 
812 #ifdef CONFIG_XEN
813 static void xenfv_machine_4_2_options(MachineClass *m)
814 {
815     pc_i440fx_machine_4_2_options(m);
816     m->desc = "Xen Fully-virtualized PC";
817     m->max_cpus = HVM_MAX_VCPUS;
818     m->default_machine_opts = "accel=xen,suppress-vmdesc=on";
819 }
820 
821 DEFINE_PC_MACHINE(xenfv_4_2, "xenfv-4.2", pc_xen_hvm_init,
822                   xenfv_machine_4_2_options);
823 
824 static void xenfv_machine_3_1_options(MachineClass *m)
825 {
826     pc_i440fx_machine_3_1_options(m);
827     m->desc = "Xen Fully-virtualized PC";
828     m->alias = "xenfv";
829     m->max_cpus = HVM_MAX_VCPUS;
830     m->default_machine_opts = "accel=xen,suppress-vmdesc=on";
831 }
832 
833 DEFINE_PC_MACHINE(xenfv, "xenfv-3.1", pc_xen_hvm_init,
834                   xenfv_machine_3_1_options);
835 #endif
836