xref: /openbmc/qemu/hw/i386/pc_piix.c (revision 36ebc7db)
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/dma/i8257.h"
30 #include "hw/loader.h"
31 #include "hw/i386/x86.h"
32 #include "hw/i386/pc.h"
33 #include "hw/i386/apic.h"
34 #include "hw/pci-host/i440fx.h"
35 #include "hw/southbridge/piix.h"
36 #include "hw/display/ramfb.h"
37 #include "hw/firmware/smbios.h"
38 #include "hw/pci/pci.h"
39 #include "hw/pci/pci_ids.h"
40 #include "hw/usb.h"
41 #include "net/net.h"
42 #include "hw/ide/pci.h"
43 #include "hw/ide/piix.h"
44 #include "hw/irq.h"
45 #include "sysemu/kvm.h"
46 #include "hw/kvm/clock.h"
47 #include "hw/sysbus.h"
48 #include "hw/i2c/smbus_eeprom.h"
49 #include "hw/xen/xen-x86.h"
50 #include "hw/xen/xen.h"
51 #include "exec/memory.h"
52 #include "hw/acpi/acpi.h"
53 #include "hw/acpi/piix4.h"
54 #include "hw/usb/hcd-uhci.h"
55 #include "qapi/error.h"
56 #include "qemu/error-report.h"
57 #include "sysemu/xen.h"
58 #ifdef CONFIG_XEN
59 #include <xen/hvm/hvm_info_table.h>
60 #include "hw/xen/xen_pt.h"
61 #endif
62 #include "migration/global_state.h"
63 #include "migration/misc.h"
64 #include "sysemu/numa.h"
65 #include "hw/hyperv/vmbus-bridge.h"
66 #include "hw/mem/nvdimm.h"
67 #include "hw/i386/acpi-build.h"
68 #include "kvm/kvm-cpu.h"
69 
70 #define MAX_IDE_BUS 2
71 
72 #ifdef CONFIG_IDE_ISA
73 static const int ide_iobase[MAX_IDE_BUS] = { 0x1f0, 0x170 };
74 static const int ide_iobase2[MAX_IDE_BUS] = { 0x3f6, 0x376 };
75 static const int ide_irq[MAX_IDE_BUS] = { 14, 15 };
76 #endif
77 
78 /*
79  * Return the global irq number corresponding to a given device irq
80  * pin. We could also use the bus number to have a more precise mapping.
81  */
82 static int pc_pci_slot_get_pirq(PCIDevice *pci_dev, int pci_intx)
83 {
84     int slot_addend;
85     slot_addend = PCI_SLOT(pci_dev->devfn) - 1;
86     return (pci_intx + slot_addend) & 3;
87 }
88 
89 /* PC hardware initialisation */
90 static void pc_init1(MachineState *machine,
91                      const char *host_type, const char *pci_type)
92 {
93     PCMachineState *pcms = PC_MACHINE(machine);
94     PCMachineClass *pcmc = PC_MACHINE_GET_CLASS(pcms);
95     X86MachineState *x86ms = X86_MACHINE(machine);
96     MemoryRegion *system_memory = get_system_memory();
97     MemoryRegion *system_io = get_system_io();
98     PCIBus *pci_bus;
99     ISABus *isa_bus;
100     int piix3_devfn = -1;
101     qemu_irq smi_irq;
102     GSIState *gsi_state;
103     BusState *idebus[MAX_IDE_BUS];
104     ISADevice *rtc_state;
105     MemoryRegion *ram_memory;
106     MemoryRegion *pci_memory;
107     MemoryRegion *rom_memory;
108     ram_addr_t lowmem;
109     uint64_t hole64_size;
110     DeviceState *i440fx_host;
111 
112     /*
113      * Calculate ram split, for memory below and above 4G.  It's a bit
114      * complicated for backward compatibility reasons ...
115      *
116      *  - Traditional split is 3.5G (lowmem = 0xe0000000).  This is the
117      *    default value for max_ram_below_4g now.
118      *
119      *  - Then, to gigabyte align the memory, we move the split to 3G
120      *    (lowmem = 0xc0000000).  But only in case we have to split in
121      *    the first place, i.e. ram_size is larger than (traditional)
122      *    lowmem.  And for new machine types (gigabyte_align = true)
123      *    only, for live migration compatibility reasons.
124      *
125      *  - Next the max-ram-below-4g option was added, which allowed to
126      *    reduce lowmem to a smaller value, to allow a larger PCI I/O
127      *    window below 4G.  qemu doesn't enforce gigabyte alignment here,
128      *    but prints a warning.
129      *
130      *  - Finally max-ram-below-4g got updated to also allow raising lowmem,
131      *    so legacy non-PAE guests can get as much memory as possible in
132      *    the 32bit address space below 4G.
133      *
134      *  - Note that Xen has its own ram setup code in xen_ram_init(),
135      *    called via xen_hvm_init_pc().
136      *
137      * Examples:
138      *    qemu -M pc-1.7 -m 4G    (old default)    -> 3584M low,  512M high
139      *    qemu -M pc -m 4G        (new default)    -> 3072M low, 1024M high
140      *    qemu -M pc,max-ram-below-4g=2G -m 4G     -> 2048M low, 2048M high
141      *    qemu -M pc,max-ram-below-4g=4G -m 3968M  -> 3968M low (=4G-128M)
142      */
143     if (xen_enabled()) {
144         xen_hvm_init_pc(pcms, &ram_memory);
145     } else {
146         if (!pcms->max_ram_below_4g) {
147             pcms->max_ram_below_4g = 0xe0000000; /* default: 3.5G */
148         }
149         lowmem = pcms->max_ram_below_4g;
150         if (machine->ram_size >= pcms->max_ram_below_4g) {
151             if (pcmc->gigabyte_align) {
152                 if (lowmem > 0xc0000000) {
153                     lowmem = 0xc0000000;
154                 }
155                 if (lowmem & (1 * GiB - 1)) {
156                     warn_report("Large machine and max_ram_below_4g "
157                                 "(%" PRIu64 ") not a multiple of 1G; "
158                                 "possible bad performance.",
159                                 pcms->max_ram_below_4g);
160                 }
161             }
162         }
163 
164         if (machine->ram_size >= lowmem) {
165             x86ms->above_4g_mem_size = machine->ram_size - lowmem;
166             x86ms->below_4g_mem_size = lowmem;
167         } else {
168             x86ms->above_4g_mem_size = 0;
169             x86ms->below_4g_mem_size = machine->ram_size;
170         }
171     }
172 
173     pc_machine_init_sgx_epc(pcms);
174     x86_cpus_init(x86ms, pcmc->default_cpu_version);
175 
176     if (pcmc->kvmclock_enabled) {
177         kvmclock_create(pcmc->kvmclock_create_always);
178     }
179 
180     if (pcmc->pci_enabled) {
181         pci_memory = g_new(MemoryRegion, 1);
182         memory_region_init(pci_memory, NULL, "pci", UINT64_MAX);
183         rom_memory = pci_memory;
184         i440fx_host = qdev_new(host_type);
185         hole64_size = object_property_get_uint(OBJECT(i440fx_host),
186                                                PCI_HOST_PROP_PCI_HOLE64_SIZE,
187                                                &error_abort);
188     } else {
189         pci_memory = NULL;
190         rom_memory = system_memory;
191         i440fx_host = NULL;
192         hole64_size = 0;
193     }
194 
195     pc_guest_info_init(pcms);
196 
197     if (pcmc->smbios_defaults) {
198         MachineClass *mc = MACHINE_GET_CLASS(machine);
199         /* These values are guest ABI, do not change */
200         smbios_set_defaults("QEMU", "Standard PC (i440FX + PIIX, 1996)",
201                             mc->name, pcmc->smbios_legacy_mode,
202                             pcmc->smbios_uuid_encoded,
203                             pcms->smbios_entry_point_type);
204     }
205 
206     /* allocate ram and load rom/bios */
207     if (!xen_enabled()) {
208         pc_memory_init(pcms, system_memory,
209                        rom_memory, &ram_memory, hole64_size);
210     } else {
211         pc_system_flash_cleanup_unused(pcms);
212         if (machine->kernel_filename != NULL) {
213             /* For xen HVM direct kernel boot, load linux here */
214             xen_load_linux(pcms);
215         }
216     }
217 
218     gsi_state = pc_gsi_create(&x86ms->gsi, pcmc->pci_enabled);
219 
220     if (pcmc->pci_enabled) {
221         PIIX3State *piix3;
222         PCIDevice *pci_dev;
223         const char *type = xen_enabled() ? TYPE_PIIX3_XEN_DEVICE
224                                          : TYPE_PIIX3_DEVICE;
225 
226         pci_bus = i440fx_init(pci_type,
227                               i440fx_host,
228                               system_memory, system_io, machine->ram_size,
229                               x86ms->below_4g_mem_size,
230                               x86ms->above_4g_mem_size,
231                               pci_memory, ram_memory);
232         pci_bus_map_irqs(pci_bus,
233                          xen_enabled() ? xen_pci_slot_get_pirq
234                                        : pc_pci_slot_get_pirq);
235         pcms->bus = pci_bus;
236 
237         pci_dev = pci_create_simple_multifunction(pci_bus, -1, true, type);
238         piix3 = PIIX3_PCI_DEVICE(pci_dev);
239         piix3->pic = x86ms->gsi;
240         piix3_devfn = piix3->dev.devfn;
241         isa_bus = ISA_BUS(qdev_get_child_bus(DEVICE(piix3), "isa.0"));
242     } else {
243         pci_bus = NULL;
244         isa_bus = isa_bus_new(NULL, get_system_memory(), system_io,
245                               &error_abort);
246         i8257_dma_init(isa_bus, 0);
247         pcms->hpet_enabled = false;
248     }
249     isa_bus_irqs(isa_bus, x86ms->gsi);
250 
251     if (x86ms->pic == ON_OFF_AUTO_ON || x86ms->pic == ON_OFF_AUTO_AUTO) {
252         pc_i8259_create(isa_bus, gsi_state->i8259_irq);
253     }
254 
255     if (pcmc->pci_enabled) {
256         ioapic_init_gsi(gsi_state, "i440fx");
257     }
258 
259     if (tcg_enabled()) {
260         x86_register_ferr_irq(x86ms->gsi[13]);
261     }
262 
263     pc_vga_init(isa_bus, pcmc->pci_enabled ? pci_bus : NULL);
264 
265     assert(pcms->vmport != ON_OFF_AUTO__MAX);
266     if (pcms->vmport == ON_OFF_AUTO_AUTO) {
267         pcms->vmport = xen_enabled() ? ON_OFF_AUTO_OFF : ON_OFF_AUTO_ON;
268     }
269 
270     /* init basic PC hardware */
271     pc_basic_device_init(pcms, isa_bus, x86ms->gsi, &rtc_state, true,
272                          0x4);
273 
274     pc_nic_init(pcmc, isa_bus, pci_bus);
275 
276     if (pcmc->pci_enabled) {
277         PCIDevice *dev;
278 
279         dev = pci_create_simple(pci_bus, piix3_devfn + 1, TYPE_PIIX3_IDE);
280         pci_ide_create_devs(dev);
281         idebus[0] = qdev_get_child_bus(&dev->qdev, "ide.0");
282         idebus[1] = qdev_get_child_bus(&dev->qdev, "ide.1");
283         pc_cmos_init(pcms, idebus[0], idebus[1], rtc_state);
284     }
285 #ifdef CONFIG_IDE_ISA
286     else {
287         DriveInfo *hd[MAX_IDE_BUS * MAX_IDE_DEVS];
288         int i;
289 
290         ide_drive_get(hd, ARRAY_SIZE(hd));
291         for (i = 0; i < MAX_IDE_BUS; i++) {
292             ISADevice *dev;
293             char busname[] = "ide.0";
294             dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i],
295                                ide_irq[i],
296                                hd[MAX_IDE_DEVS * i], hd[MAX_IDE_DEVS * i + 1]);
297             /*
298              * The ide bus name is ide.0 for the first bus and ide.1 for the
299              * second one.
300              */
301             busname[4] = '0' + i;
302             idebus[i] = qdev_get_child_bus(DEVICE(dev), busname);
303         }
304         pc_cmos_init(pcms, idebus[0], idebus[1], rtc_state);
305     }
306 #endif
307 
308     if (pcmc->pci_enabled && machine_usb(machine)) {
309         pci_create_simple(pci_bus, piix3_devfn + 2, TYPE_PIIX3_USB_UHCI);
310     }
311 
312     if (pcmc->pci_enabled && x86_machine_is_acpi_enabled(X86_MACHINE(pcms))) {
313         PCIDevice *piix4_pm;
314 
315         smi_irq = qemu_allocate_irq(pc_acpi_smi_interrupt, first_cpu, 0);
316         piix4_pm = pci_new(piix3_devfn + 3, TYPE_PIIX4_PM);
317         qdev_prop_set_uint32(DEVICE(piix4_pm), "smb_io_base", 0xb100);
318         qdev_prop_set_bit(DEVICE(piix4_pm), "smm-enabled",
319                           x86_machine_is_smm_enabled(x86ms));
320         pci_realize_and_unref(piix4_pm, pci_bus, &error_fatal);
321 
322         qdev_connect_gpio_out(DEVICE(piix4_pm), 0, x86ms->gsi[9]);
323         qdev_connect_gpio_out_named(DEVICE(piix4_pm), "smi-irq", 0, smi_irq);
324         pcms->smbus = I2C_BUS(qdev_get_child_bus(DEVICE(piix4_pm), "i2c"));
325         /* TODO: Populate SPD eeprom data.  */
326         smbus_eeprom_init(pcms->smbus, 8, NULL, 0);
327 
328         object_property_add_link(OBJECT(machine), PC_MACHINE_ACPI_DEVICE_PROP,
329                                  TYPE_HOTPLUG_HANDLER,
330                                  (Object **)&x86ms->acpi_dev,
331                                  object_property_allow_set_link,
332                                  OBJ_PROP_LINK_STRONG);
333         object_property_set_link(OBJECT(machine), PC_MACHINE_ACPI_DEVICE_PROP,
334                                  OBJECT(piix4_pm), &error_abort);
335     }
336 
337     if (machine->nvdimms_state->is_enabled) {
338         nvdimm_init_acpi_state(machine->nvdimms_state, system_io,
339                                x86_nvdimm_acpi_dsmio,
340                                x86ms->fw_cfg, OBJECT(pcms));
341     }
342 }
343 
344 /* Looking for a pc_compat_2_4() function? It doesn't exist.
345  * pc_compat_*() functions that run on machine-init time and
346  * change global QEMU state are deprecated. Please don't create
347  * one, and implement any pc-*-2.4 (and newer) compat code in
348  * hw_compat_*, pc_compat_*, or * pc_*_machine_options().
349  */
350 
351 static void pc_compat_2_3_fn(MachineState *machine)
352 {
353     X86MachineState *x86ms = X86_MACHINE(machine);
354     if (kvm_enabled()) {
355         x86ms->smm = ON_OFF_AUTO_OFF;
356     }
357 }
358 
359 static void pc_compat_2_2_fn(MachineState *machine)
360 {
361     pc_compat_2_3_fn(machine);
362 }
363 
364 static void pc_compat_2_1_fn(MachineState *machine)
365 {
366     pc_compat_2_2_fn(machine);
367     x86_cpu_change_kvm_default("svm", NULL);
368 }
369 
370 static void pc_compat_2_0_fn(MachineState *machine)
371 {
372     pc_compat_2_1_fn(machine);
373 }
374 
375 static void pc_compat_1_7_fn(MachineState *machine)
376 {
377     pc_compat_2_0_fn(machine);
378     x86_cpu_change_kvm_default("x2apic", NULL);
379 }
380 
381 static void pc_compat_1_6_fn(MachineState *machine)
382 {
383     pc_compat_1_7_fn(machine);
384 }
385 
386 static void pc_compat_1_5_fn(MachineState *machine)
387 {
388     pc_compat_1_6_fn(machine);
389 }
390 
391 static void pc_compat_1_4_fn(MachineState *machine)
392 {
393     pc_compat_1_5_fn(machine);
394 }
395 
396 #ifdef CONFIG_ISAPC
397 static void pc_init_isa(MachineState *machine)
398 {
399     pc_init1(machine, TYPE_I440FX_PCI_HOST_BRIDGE, TYPE_I440FX_PCI_DEVICE);
400 }
401 #endif
402 
403 #ifdef CONFIG_XEN
404 static void pc_xen_hvm_init_pci(MachineState *machine)
405 {
406     const char *pci_type = xen_igd_gfx_pt_enabled() ?
407                 TYPE_IGD_PASSTHROUGH_I440FX_PCI_DEVICE : TYPE_I440FX_PCI_DEVICE;
408 
409     pc_init1(machine,
410              TYPE_I440FX_PCI_HOST_BRIDGE,
411              pci_type);
412 }
413 
414 static void pc_xen_hvm_init(MachineState *machine)
415 {
416     PCMachineState *pcms = PC_MACHINE(machine);
417 
418     if (!xen_enabled()) {
419         error_report("xenfv machine requires the xen accelerator");
420         exit(1);
421     }
422 
423     pc_xen_hvm_init_pci(machine);
424     pci_create_simple(pcms->bus, -1, "xen-platform");
425 }
426 #endif
427 
428 #define DEFINE_I440FX_MACHINE(suffix, name, compatfn, optionfn) \
429     static void pc_init_##suffix(MachineState *machine) \
430     { \
431         void (*compat)(MachineState *m) = (compatfn); \
432         if (compat) { \
433             compat(machine); \
434         } \
435         pc_init1(machine, TYPE_I440FX_PCI_HOST_BRIDGE, \
436                  TYPE_I440FX_PCI_DEVICE); \
437     } \
438     DEFINE_PC_MACHINE(suffix, name, pc_init_##suffix, optionfn)
439 
440 static void pc_i440fx_machine_options(MachineClass *m)
441 {
442     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
443     pcmc->default_nic_model = "e1000";
444     pcmc->pci_root_uid = 0;
445     pcmc->default_cpu_version = 1;
446 
447     m->family = "pc_piix";
448     m->desc = "Standard PC (i440FX + PIIX, 1996)";
449     m->default_machine_opts = "firmware=bios-256k.bin";
450     m->default_display = "std";
451     machine_class_allow_dynamic_sysbus_dev(m, TYPE_RAMFB_DEVICE);
452     machine_class_allow_dynamic_sysbus_dev(m, TYPE_VMBUS_BRIDGE);
453 }
454 
455 static void pc_i440fx_8_0_machine_options(MachineClass *m)
456 {
457     pc_i440fx_machine_options(m);
458     m->alias = "pc";
459     m->is_default = true;
460 }
461 
462 DEFINE_I440FX_MACHINE(v8_0, "pc-i440fx-8.0", NULL,
463                       pc_i440fx_8_0_machine_options);
464 
465 static void pc_i440fx_7_2_machine_options(MachineClass *m)
466 {
467     pc_i440fx_8_0_machine_options(m);
468     m->alias = NULL;
469     m->is_default = false;
470     compat_props_add(m->compat_props, hw_compat_7_2, hw_compat_7_2_len);
471     compat_props_add(m->compat_props, pc_compat_7_2, pc_compat_7_2_len);
472 }
473 
474 DEFINE_I440FX_MACHINE(v7_2, "pc-i440fx-7.2", NULL,
475                       pc_i440fx_7_2_machine_options);
476 
477 static void pc_i440fx_7_1_machine_options(MachineClass *m)
478 {
479     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
480     pc_i440fx_7_2_machine_options(m);
481     pcmc->legacy_no_rng_seed = true;
482     compat_props_add(m->compat_props, hw_compat_7_1, hw_compat_7_1_len);
483     compat_props_add(m->compat_props, pc_compat_7_1, pc_compat_7_1_len);
484 }
485 
486 DEFINE_I440FX_MACHINE(v7_1, "pc-i440fx-7.1", NULL,
487                       pc_i440fx_7_1_machine_options);
488 
489 static void pc_i440fx_7_0_machine_options(MachineClass *m)
490 {
491     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
492     pc_i440fx_7_1_machine_options(m);
493     pcmc->enforce_amd_1tb_hole = false;
494     compat_props_add(m->compat_props, hw_compat_7_0, hw_compat_7_0_len);
495     compat_props_add(m->compat_props, pc_compat_7_0, pc_compat_7_0_len);
496 }
497 
498 DEFINE_I440FX_MACHINE(v7_0, "pc-i440fx-7.0", NULL,
499                       pc_i440fx_7_0_machine_options);
500 
501 static void pc_i440fx_6_2_machine_options(MachineClass *m)
502 {
503     pc_i440fx_7_0_machine_options(m);
504     compat_props_add(m->compat_props, hw_compat_6_2, hw_compat_6_2_len);
505     compat_props_add(m->compat_props, pc_compat_6_2, pc_compat_6_2_len);
506 }
507 
508 DEFINE_I440FX_MACHINE(v6_2, "pc-i440fx-6.2", NULL,
509                       pc_i440fx_6_2_machine_options);
510 
511 static void pc_i440fx_6_1_machine_options(MachineClass *m)
512 {
513     pc_i440fx_6_2_machine_options(m);
514     compat_props_add(m->compat_props, hw_compat_6_1, hw_compat_6_1_len);
515     compat_props_add(m->compat_props, pc_compat_6_1, pc_compat_6_1_len);
516     m->smp_props.prefer_sockets = true;
517 }
518 
519 DEFINE_I440FX_MACHINE(v6_1, "pc-i440fx-6.1", NULL,
520                       pc_i440fx_6_1_machine_options);
521 
522 static void pc_i440fx_6_0_machine_options(MachineClass *m)
523 {
524     pc_i440fx_6_1_machine_options(m);
525     compat_props_add(m->compat_props, hw_compat_6_0, hw_compat_6_0_len);
526     compat_props_add(m->compat_props, pc_compat_6_0, pc_compat_6_0_len);
527 }
528 
529 DEFINE_I440FX_MACHINE(v6_0, "pc-i440fx-6.0", NULL,
530                       pc_i440fx_6_0_machine_options);
531 
532 static void pc_i440fx_5_2_machine_options(MachineClass *m)
533 {
534     pc_i440fx_6_0_machine_options(m);
535     compat_props_add(m->compat_props, hw_compat_5_2, hw_compat_5_2_len);
536     compat_props_add(m->compat_props, pc_compat_5_2, pc_compat_5_2_len);
537 }
538 
539 DEFINE_I440FX_MACHINE(v5_2, "pc-i440fx-5.2", NULL,
540                       pc_i440fx_5_2_machine_options);
541 
542 static void pc_i440fx_5_1_machine_options(MachineClass *m)
543 {
544     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
545 
546     pc_i440fx_5_2_machine_options(m);
547     compat_props_add(m->compat_props, hw_compat_5_1, hw_compat_5_1_len);
548     compat_props_add(m->compat_props, pc_compat_5_1, pc_compat_5_1_len);
549     pcmc->kvmclock_create_always = false;
550     pcmc->pci_root_uid = 1;
551 }
552 
553 DEFINE_I440FX_MACHINE(v5_1, "pc-i440fx-5.1", NULL,
554                       pc_i440fx_5_1_machine_options);
555 
556 static void pc_i440fx_5_0_machine_options(MachineClass *m)
557 {
558     pc_i440fx_5_1_machine_options(m);
559     m->numa_mem_supported = true;
560     compat_props_add(m->compat_props, hw_compat_5_0, hw_compat_5_0_len);
561     compat_props_add(m->compat_props, pc_compat_5_0, pc_compat_5_0_len);
562     m->auto_enable_numa_with_memdev = false;
563 }
564 
565 DEFINE_I440FX_MACHINE(v5_0, "pc-i440fx-5.0", NULL,
566                       pc_i440fx_5_0_machine_options);
567 
568 static void pc_i440fx_4_2_machine_options(MachineClass *m)
569 {
570     pc_i440fx_5_0_machine_options(m);
571     compat_props_add(m->compat_props, hw_compat_4_2, hw_compat_4_2_len);
572     compat_props_add(m->compat_props, pc_compat_4_2, pc_compat_4_2_len);
573 }
574 
575 DEFINE_I440FX_MACHINE(v4_2, "pc-i440fx-4.2", NULL,
576                       pc_i440fx_4_2_machine_options);
577 
578 static void pc_i440fx_4_1_machine_options(MachineClass *m)
579 {
580     pc_i440fx_4_2_machine_options(m);
581     compat_props_add(m->compat_props, hw_compat_4_1, hw_compat_4_1_len);
582     compat_props_add(m->compat_props, pc_compat_4_1, pc_compat_4_1_len);
583 }
584 
585 DEFINE_I440FX_MACHINE(v4_1, "pc-i440fx-4.1", NULL,
586                       pc_i440fx_4_1_machine_options);
587 
588 static void pc_i440fx_4_0_machine_options(MachineClass *m)
589 {
590     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
591     pc_i440fx_4_1_machine_options(m);
592     pcmc->default_cpu_version = CPU_VERSION_LEGACY;
593     compat_props_add(m->compat_props, hw_compat_4_0, hw_compat_4_0_len);
594     compat_props_add(m->compat_props, pc_compat_4_0, pc_compat_4_0_len);
595 }
596 
597 DEFINE_I440FX_MACHINE(v4_0, "pc-i440fx-4.0", NULL,
598                       pc_i440fx_4_0_machine_options);
599 
600 static void pc_i440fx_3_1_machine_options(MachineClass *m)
601 {
602     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
603 
604     pc_i440fx_4_0_machine_options(m);
605     m->smbus_no_migration_support = true;
606     pcmc->pvh_enabled = false;
607     compat_props_add(m->compat_props, hw_compat_3_1, hw_compat_3_1_len);
608     compat_props_add(m->compat_props, pc_compat_3_1, pc_compat_3_1_len);
609 }
610 
611 DEFINE_I440FX_MACHINE(v3_1, "pc-i440fx-3.1", NULL,
612                       pc_i440fx_3_1_machine_options);
613 
614 static void pc_i440fx_3_0_machine_options(MachineClass *m)
615 {
616     pc_i440fx_3_1_machine_options(m);
617     compat_props_add(m->compat_props, hw_compat_3_0, hw_compat_3_0_len);
618     compat_props_add(m->compat_props, pc_compat_3_0, pc_compat_3_0_len);
619 }
620 
621 DEFINE_I440FX_MACHINE(v3_0, "pc-i440fx-3.0", NULL,
622                       pc_i440fx_3_0_machine_options);
623 
624 static void pc_i440fx_2_12_machine_options(MachineClass *m)
625 {
626     pc_i440fx_3_0_machine_options(m);
627     compat_props_add(m->compat_props, hw_compat_2_12, hw_compat_2_12_len);
628     compat_props_add(m->compat_props, pc_compat_2_12, pc_compat_2_12_len);
629 }
630 
631 DEFINE_I440FX_MACHINE(v2_12, "pc-i440fx-2.12", NULL,
632                       pc_i440fx_2_12_machine_options);
633 
634 static void pc_i440fx_2_11_machine_options(MachineClass *m)
635 {
636     pc_i440fx_2_12_machine_options(m);
637     compat_props_add(m->compat_props, hw_compat_2_11, hw_compat_2_11_len);
638     compat_props_add(m->compat_props, pc_compat_2_11, pc_compat_2_11_len);
639 }
640 
641 DEFINE_I440FX_MACHINE(v2_11, "pc-i440fx-2.11", NULL,
642                       pc_i440fx_2_11_machine_options);
643 
644 static void pc_i440fx_2_10_machine_options(MachineClass *m)
645 {
646     pc_i440fx_2_11_machine_options(m);
647     compat_props_add(m->compat_props, hw_compat_2_10, hw_compat_2_10_len);
648     compat_props_add(m->compat_props, pc_compat_2_10, pc_compat_2_10_len);
649     m->auto_enable_numa_with_memhp = false;
650 }
651 
652 DEFINE_I440FX_MACHINE(v2_10, "pc-i440fx-2.10", NULL,
653                       pc_i440fx_2_10_machine_options);
654 
655 static void pc_i440fx_2_9_machine_options(MachineClass *m)
656 {
657     pc_i440fx_2_10_machine_options(m);
658     compat_props_add(m->compat_props, hw_compat_2_9, hw_compat_2_9_len);
659     compat_props_add(m->compat_props, pc_compat_2_9, pc_compat_2_9_len);
660 }
661 
662 DEFINE_I440FX_MACHINE(v2_9, "pc-i440fx-2.9", NULL,
663                       pc_i440fx_2_9_machine_options);
664 
665 static void pc_i440fx_2_8_machine_options(MachineClass *m)
666 {
667     pc_i440fx_2_9_machine_options(m);
668     compat_props_add(m->compat_props, hw_compat_2_8, hw_compat_2_8_len);
669     compat_props_add(m->compat_props, pc_compat_2_8, pc_compat_2_8_len);
670 }
671 
672 DEFINE_I440FX_MACHINE(v2_8, "pc-i440fx-2.8", NULL,
673                       pc_i440fx_2_8_machine_options);
674 
675 static void pc_i440fx_2_7_machine_options(MachineClass *m)
676 {
677     pc_i440fx_2_8_machine_options(m);
678     compat_props_add(m->compat_props, hw_compat_2_7, hw_compat_2_7_len);
679     compat_props_add(m->compat_props, pc_compat_2_7, pc_compat_2_7_len);
680 }
681 
682 DEFINE_I440FX_MACHINE(v2_7, "pc-i440fx-2.7", NULL,
683                       pc_i440fx_2_7_machine_options);
684 
685 static void pc_i440fx_2_6_machine_options(MachineClass *m)
686 {
687     X86MachineClass *x86mc = X86_MACHINE_CLASS(m);
688     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
689 
690     pc_i440fx_2_7_machine_options(m);
691     pcmc->legacy_cpu_hotplug = true;
692     x86mc->fwcfg_dma_enabled = false;
693     compat_props_add(m->compat_props, hw_compat_2_6, hw_compat_2_6_len);
694     compat_props_add(m->compat_props, pc_compat_2_6, pc_compat_2_6_len);
695 }
696 
697 DEFINE_I440FX_MACHINE(v2_6, "pc-i440fx-2.6", NULL,
698                       pc_i440fx_2_6_machine_options);
699 
700 static void pc_i440fx_2_5_machine_options(MachineClass *m)
701 {
702     X86MachineClass *x86mc = X86_MACHINE_CLASS(m);
703 
704     pc_i440fx_2_6_machine_options(m);
705     x86mc->save_tsc_khz = false;
706     m->legacy_fw_cfg_order = 1;
707     compat_props_add(m->compat_props, hw_compat_2_5, hw_compat_2_5_len);
708     compat_props_add(m->compat_props, pc_compat_2_5, pc_compat_2_5_len);
709 }
710 
711 DEFINE_I440FX_MACHINE(v2_5, "pc-i440fx-2.5", NULL,
712                       pc_i440fx_2_5_machine_options);
713 
714 static void pc_i440fx_2_4_machine_options(MachineClass *m)
715 {
716     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
717 
718     pc_i440fx_2_5_machine_options(m);
719     m->hw_version = "2.4.0";
720     pcmc->broken_reserved_end = true;
721     compat_props_add(m->compat_props, hw_compat_2_4, hw_compat_2_4_len);
722     compat_props_add(m->compat_props, pc_compat_2_4, pc_compat_2_4_len);
723 }
724 
725 DEFINE_I440FX_MACHINE(v2_4, "pc-i440fx-2.4", NULL,
726                       pc_i440fx_2_4_machine_options)
727 
728 static void pc_i440fx_2_3_machine_options(MachineClass *m)
729 {
730     pc_i440fx_2_4_machine_options(m);
731     m->hw_version = "2.3.0";
732     compat_props_add(m->compat_props, hw_compat_2_3, hw_compat_2_3_len);
733     compat_props_add(m->compat_props, pc_compat_2_3, pc_compat_2_3_len);
734 }
735 
736 DEFINE_I440FX_MACHINE(v2_3, "pc-i440fx-2.3", pc_compat_2_3_fn,
737                       pc_i440fx_2_3_machine_options);
738 
739 static void pc_i440fx_2_2_machine_options(MachineClass *m)
740 {
741     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
742 
743     pc_i440fx_2_3_machine_options(m);
744     m->hw_version = "2.2.0";
745     m->default_machine_opts = "firmware=bios-256k.bin,suppress-vmdesc=on";
746     compat_props_add(m->compat_props, hw_compat_2_2, hw_compat_2_2_len);
747     compat_props_add(m->compat_props, pc_compat_2_2, pc_compat_2_2_len);
748     pcmc->rsdp_in_ram = false;
749 }
750 
751 DEFINE_I440FX_MACHINE(v2_2, "pc-i440fx-2.2", pc_compat_2_2_fn,
752                       pc_i440fx_2_2_machine_options);
753 
754 static void pc_i440fx_2_1_machine_options(MachineClass *m)
755 {
756     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
757 
758     pc_i440fx_2_2_machine_options(m);
759     m->hw_version = "2.1.0";
760     m->default_display = NULL;
761     compat_props_add(m->compat_props, hw_compat_2_1, hw_compat_2_1_len);
762     compat_props_add(m->compat_props, pc_compat_2_1, pc_compat_2_1_len);
763     pcmc->smbios_uuid_encoded = false;
764     pcmc->enforce_aligned_dimm = false;
765 }
766 
767 DEFINE_I440FX_MACHINE(v2_1, "pc-i440fx-2.1", pc_compat_2_1_fn,
768                       pc_i440fx_2_1_machine_options);
769 
770 static void pc_i440fx_2_0_machine_options(MachineClass *m)
771 {
772     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
773 
774     pc_i440fx_2_1_machine_options(m);
775     m->hw_version = "2.0.0";
776     compat_props_add(m->compat_props, pc_compat_2_0, pc_compat_2_0_len);
777     pcmc->smbios_legacy_mode = true;
778     pcmc->has_reserved_memory = false;
779     /* This value depends on the actual DSDT and SSDT compiled into
780      * the source QEMU; unfortunately it depends on the binary and
781      * not on the machine type, so we cannot make pc-i440fx-1.7 work on
782      * both QEMU 1.7 and QEMU 2.0.
783      *
784      * Large variations cause migration to fail for more than one
785      * consecutive value of the "-smp" maxcpus option.
786      *
787      * For small variations of the kind caused by different iasl versions,
788      * the 4k rounding usually leaves slack.  However, there could be still
789      * one or two values that break.  For QEMU 1.7 and QEMU 2.0 the
790      * slack is only ~10 bytes before one "-smp maxcpus" value breaks!
791      *
792      * 6652 is valid for QEMU 2.0, the right value for pc-i440fx-1.7 on
793      * QEMU 1.7 it is 6414.  For RHEL/CentOS 7.0 it is 6418.
794      */
795     pcmc->legacy_acpi_table_size = 6652;
796     pcmc->acpi_data_size = 0x10000;
797 }
798 
799 DEFINE_I440FX_MACHINE(v2_0, "pc-i440fx-2.0", pc_compat_2_0_fn,
800                       pc_i440fx_2_0_machine_options);
801 
802 static void pc_i440fx_1_7_machine_options(MachineClass *m)
803 {
804     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
805 
806     pc_i440fx_2_0_machine_options(m);
807     m->hw_version = "1.7.0";
808     m->default_machine_opts = NULL;
809     m->option_rom_has_mr = true;
810     m->deprecation_reason = "old and unattended - use a newer version instead";
811     compat_props_add(m->compat_props, pc_compat_1_7, pc_compat_1_7_len);
812     pcmc->smbios_defaults = false;
813     pcmc->gigabyte_align = false;
814     pcmc->legacy_acpi_table_size = 6414;
815 }
816 
817 DEFINE_I440FX_MACHINE(v1_7, "pc-i440fx-1.7", pc_compat_1_7_fn,
818                       pc_i440fx_1_7_machine_options);
819 
820 static void pc_i440fx_1_6_machine_options(MachineClass *m)
821 {
822     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
823 
824     pc_i440fx_1_7_machine_options(m);
825     m->hw_version = "1.6.0";
826     m->rom_file_has_mr = false;
827     compat_props_add(m->compat_props, pc_compat_1_6, pc_compat_1_6_len);
828     pcmc->has_acpi_build = false;
829 }
830 
831 DEFINE_I440FX_MACHINE(v1_6, "pc-i440fx-1.6", pc_compat_1_6_fn,
832                       pc_i440fx_1_6_machine_options);
833 
834 static void pc_i440fx_1_5_machine_options(MachineClass *m)
835 {
836     pc_i440fx_1_6_machine_options(m);
837     m->hw_version = "1.5.0";
838     compat_props_add(m->compat_props, pc_compat_1_5, pc_compat_1_5_len);
839 }
840 
841 DEFINE_I440FX_MACHINE(v1_5, "pc-i440fx-1.5", pc_compat_1_5_fn,
842                       pc_i440fx_1_5_machine_options);
843 
844 static void pc_i440fx_1_4_machine_options(MachineClass *m)
845 {
846     pc_i440fx_1_5_machine_options(m);
847     m->hw_version = "1.4.0";
848     compat_props_add(m->compat_props, pc_compat_1_4, pc_compat_1_4_len);
849 }
850 
851 DEFINE_I440FX_MACHINE(v1_4, "pc-i440fx-1.4", pc_compat_1_4_fn,
852                       pc_i440fx_1_4_machine_options);
853 
854 #ifdef CONFIG_ISAPC
855 static void isapc_machine_options(MachineClass *m)
856 {
857     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
858     m->desc = "ISA-only PC";
859     m->max_cpus = 1;
860     m->option_rom_has_mr = true;
861     m->rom_file_has_mr = false;
862     pcmc->pci_enabled = false;
863     pcmc->has_acpi_build = false;
864     pcmc->smbios_defaults = false;
865     pcmc->gigabyte_align = false;
866     pcmc->smbios_legacy_mode = true;
867     pcmc->has_reserved_memory = false;
868     pcmc->default_nic_model = "ne2k_isa";
869     m->default_cpu_type = X86_CPU_TYPE_NAME("486");
870 }
871 
872 DEFINE_PC_MACHINE(isapc, "isapc", pc_init_isa,
873                   isapc_machine_options);
874 #endif
875 
876 #ifdef CONFIG_XEN
877 static void xenfv_4_2_machine_options(MachineClass *m)
878 {
879     pc_i440fx_4_2_machine_options(m);
880     m->desc = "Xen Fully-virtualized PC";
881     m->max_cpus = HVM_MAX_VCPUS;
882     m->default_machine_opts = "accel=xen,suppress-vmdesc=on";
883 }
884 
885 DEFINE_PC_MACHINE(xenfv_4_2, "xenfv-4.2", pc_xen_hvm_init,
886                   xenfv_4_2_machine_options);
887 
888 static void xenfv_3_1_machine_options(MachineClass *m)
889 {
890     pc_i440fx_3_1_machine_options(m);
891     m->desc = "Xen Fully-virtualized PC";
892     m->alias = "xenfv";
893     m->max_cpus = HVM_MAX_VCPUS;
894     m->default_machine_opts = "accel=xen,suppress-vmdesc=on";
895 }
896 
897 DEFINE_PC_MACHINE(xenfv, "xenfv-3.1", pc_xen_hvm_init,
898                   xenfv_3_1_machine_options);
899 #endif
900