xref: /openbmc/qemu/hw/i386/pc_piix.c (revision b66bbee39f6deb28f0645760c536cbf2189a0687)
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 
27 #include "qemu/units.h"
28 #include "hw/hw.h"
29 #include "hw/loader.h"
30 #include "hw/i386/pc.h"
31 #include "hw/i386/apic.h"
32 #include "hw/display/ramfb.h"
33 #include "hw/firmware/smbios.h"
34 #include "hw/pci/pci.h"
35 #include "hw/pci/pci_ids.h"
36 #include "hw/usb.h"
37 #include "net/net.h"
38 #include "hw/boards.h"
39 #include "hw/ide.h"
40 #include "sysemu/kvm.h"
41 #include "hw/kvm/clock.h"
42 #include "sysemu/sysemu.h"
43 #include "hw/sysbus.h"
44 #include "sysemu/arch_init.h"
45 #include "hw/i2c/smbus.h"
46 #include "hw/xen/xen.h"
47 #include "exec/memory.h"
48 #include "exec/address-spaces.h"
49 #include "hw/acpi/acpi.h"
50 #include "cpu.h"
51 #include "qapi/error.h"
52 #include "qemu/error-report.h"
53 #ifdef CONFIG_XEN
54 #include <xen/hvm/hvm_info_table.h>
55 #include "hw/xen/xen_pt.h"
56 #endif
57 #include "migration/global_state.h"
58 #include "migration/misc.h"
59 #include "kvm_i386.h"
60 #include "sysemu/numa.h"
61 
62 #define MAX_IDE_BUS 2
63 
64 static const int ide_iobase[MAX_IDE_BUS] = { 0x1f0, 0x170 };
65 static const int ide_iobase2[MAX_IDE_BUS] = { 0x3f6, 0x376 };
66 static const int ide_irq[MAX_IDE_BUS] = { 14, 15 };
67 
68 /* PC hardware initialisation */
69 static void pc_init1(MachineState *machine,
70                      const char *host_type, const char *pci_type)
71 {
72     PCMachineState *pcms = PC_MACHINE(machine);
73     PCMachineClass *pcmc = PC_MACHINE_GET_CLASS(pcms);
74     MemoryRegion *system_memory = get_system_memory();
75     MemoryRegion *system_io = get_system_io();
76     int i;
77     PCIBus *pci_bus;
78     ISABus *isa_bus;
79     PCII440FXState *i440fx_state;
80     int piix3_devfn = -1;
81     qemu_irq *i8259;
82     qemu_irq smi_irq;
83     GSIState *gsi_state;
84     DriveInfo *hd[MAX_IDE_BUS * MAX_IDE_DEVS];
85     BusState *idebus[MAX_IDE_BUS];
86     ISADevice *rtc_state;
87     MemoryRegion *ram_memory;
88     MemoryRegion *pci_memory;
89     MemoryRegion *rom_memory;
90     ram_addr_t lowmem;
91 
92     /*
93      * Calculate ram split, for memory below and above 4G.  It's a bit
94      * complicated for backward compatibility reasons ...
95      *
96      *  - Traditional split is 3.5G (lowmem = 0xe0000000).  This is the
97      *    default value for max_ram_below_4g now.
98      *
99      *  - Then, to gigabyte align the memory, we move the split to 3G
100      *    (lowmem = 0xc0000000).  But only in case we have to split in
101      *    the first place, i.e. ram_size is larger than (traditional)
102      *    lowmem.  And for new machine types (gigabyte_align = true)
103      *    only, for live migration compatibility reasons.
104      *
105      *  - Next the max-ram-below-4g option was added, which allowed to
106      *    reduce lowmem to a smaller value, to allow a larger PCI I/O
107      *    window below 4G.  qemu doesn't enforce gigabyte alignment here,
108      *    but prints a warning.
109      *
110      *  - Finally max-ram-below-4g got updated to also allow raising lowmem,
111      *    so legacy non-PAE guests can get as much memory as possible in
112      *    the 32bit address space below 4G.
113      *
114      *  - Note that Xen has its own ram setp code in xen_ram_init(),
115      *    called via xen_hvm_init().
116      *
117      * Examples:
118      *    qemu -M pc-1.7 -m 4G    (old default)    -> 3584M low,  512M high
119      *    qemu -M pc -m 4G        (new default)    -> 3072M low, 1024M high
120      *    qemu -M pc,max-ram-below-4g=2G -m 4G     -> 2048M low, 2048M high
121      *    qemu -M pc,max-ram-below-4g=4G -m 3968M  -> 3968M low (=4G-128M)
122      */
123     if (xen_enabled()) {
124         xen_hvm_init(pcms, &ram_memory);
125     } else {
126         if (!pcms->max_ram_below_4g) {
127             pcms->max_ram_below_4g = 0xe0000000; /* default: 3.5G */
128         }
129         lowmem = pcms->max_ram_below_4g;
130         if (machine->ram_size >= pcms->max_ram_below_4g) {
131             if (pcmc->gigabyte_align) {
132                 if (lowmem > 0xc0000000) {
133                     lowmem = 0xc0000000;
134                 }
135                 if (lowmem & (1 * GiB - 1)) {
136                     warn_report("Large machine and max_ram_below_4g "
137                                 "(%" PRIu64 ") not a multiple of 1G; "
138                                 "possible bad performance.",
139                                 pcms->max_ram_below_4g);
140                 }
141             }
142         }
143 
144         if (machine->ram_size >= lowmem) {
145             pcms->above_4g_mem_size = machine->ram_size - lowmem;
146             pcms->below_4g_mem_size = lowmem;
147         } else {
148             pcms->above_4g_mem_size = 0;
149             pcms->below_4g_mem_size = machine->ram_size;
150         }
151     }
152 
153     pc_cpus_init(pcms);
154 
155     if (kvm_enabled() && pcmc->kvmclock_enabled) {
156         kvmclock_create();
157     }
158 
159     if (pcmc->pci_enabled) {
160         pci_memory = g_new(MemoryRegion, 1);
161         memory_region_init(pci_memory, NULL, "pci", UINT64_MAX);
162         rom_memory = pci_memory;
163     } else {
164         pci_memory = NULL;
165         rom_memory = system_memory;
166     }
167 
168     pc_guest_info_init(pcms);
169 
170     if (pcmc->smbios_defaults) {
171         MachineClass *mc = MACHINE_GET_CLASS(machine);
172         /* These values are guest ABI, do not change */
173         smbios_set_defaults("QEMU", "Standard PC (i440FX + PIIX, 1996)",
174                             mc->name, pcmc->smbios_legacy_mode,
175                             pcmc->smbios_uuid_encoded,
176                             SMBIOS_ENTRY_POINT_21);
177     }
178 
179     /* allocate ram and load rom/bios */
180     if (!xen_enabled()) {
181         pc_memory_init(pcms, system_memory,
182                        rom_memory, &ram_memory);
183     } else if (machine->kernel_filename != NULL) {
184         /* For xen HVM direct kernel boot, load linux here */
185         xen_load_linux(pcms);
186     }
187 
188     gsi_state = g_malloc0(sizeof(*gsi_state));
189     if (kvm_ioapic_in_kernel()) {
190         kvm_pc_setup_irq_routing(pcmc->pci_enabled);
191         pcms->gsi = qemu_allocate_irqs(kvm_pc_gsi_handler, gsi_state,
192                                        GSI_NUM_PINS);
193     } else {
194         pcms->gsi = qemu_allocate_irqs(gsi_handler, gsi_state, GSI_NUM_PINS);
195     }
196 
197     if (pcmc->pci_enabled) {
198         pci_bus = i440fx_init(host_type,
199                               pci_type,
200                               &i440fx_state, &piix3_devfn, &isa_bus, pcms->gsi,
201                               system_memory, system_io, machine->ram_size,
202                               pcms->below_4g_mem_size,
203                               pcms->above_4g_mem_size,
204                               pci_memory, ram_memory);
205         pcms->bus = pci_bus;
206     } else {
207         pci_bus = NULL;
208         i440fx_state = NULL;
209         isa_bus = isa_bus_new(NULL, get_system_memory(), system_io,
210                               &error_abort);
211         no_hpet = 1;
212     }
213     isa_bus_irqs(isa_bus, pcms->gsi);
214 
215     if (kvm_pic_in_kernel()) {
216         i8259 = kvm_i8259_init(isa_bus);
217     } else if (xen_enabled()) {
218         i8259 = xen_interrupt_controller_init();
219     } else {
220         i8259 = i8259_init(isa_bus, pc_allocate_cpu_irq());
221     }
222 
223     for (i = 0; i < ISA_NUM_IRQS; i++) {
224         gsi_state->i8259_irq[i] = i8259[i];
225     }
226     g_free(i8259);
227     if (pcmc->pci_enabled) {
228         ioapic_init_gsi(gsi_state, "i440fx");
229     }
230 
231     pc_register_ferr_irq(pcms->gsi[13]);
232 
233     pc_vga_init(isa_bus, pcmc->pci_enabled ? pci_bus : NULL);
234 
235     assert(pcms->vmport != ON_OFF_AUTO__MAX);
236     if (pcms->vmport == ON_OFF_AUTO_AUTO) {
237         pcms->vmport = xen_enabled() ? ON_OFF_AUTO_OFF : ON_OFF_AUTO_ON;
238     }
239 
240     /* init basic PC hardware */
241     pc_basic_device_init(isa_bus, pcms->gsi, &rtc_state, true,
242                          (pcms->vmport != ON_OFF_AUTO_ON), pcms->pit_enabled,
243                          0x4);
244 
245     pc_nic_init(pcmc, isa_bus, pci_bus);
246 
247     ide_drive_get(hd, ARRAY_SIZE(hd));
248     if (pcmc->pci_enabled) {
249         PCIDevice *dev;
250         if (xen_enabled()) {
251             dev = pci_piix3_xen_ide_init(pci_bus, hd, piix3_devfn + 1);
252         } else {
253             dev = pci_piix3_ide_init(pci_bus, hd, piix3_devfn + 1);
254         }
255         idebus[0] = qdev_get_child_bus(&dev->qdev, "ide.0");
256         idebus[1] = qdev_get_child_bus(&dev->qdev, "ide.1");
257     } else {
258         for(i = 0; i < MAX_IDE_BUS; i++) {
259             ISADevice *dev;
260             char busname[] = "ide.0";
261             dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i],
262                                ide_irq[i],
263                                hd[MAX_IDE_DEVS * i], hd[MAX_IDE_DEVS * i + 1]);
264             /*
265              * The ide bus name is ide.0 for the first bus and ide.1 for the
266              * second one.
267              */
268             busname[4] = '0' + i;
269             idebus[i] = qdev_get_child_bus(DEVICE(dev), busname);
270         }
271     }
272 
273     pc_cmos_init(pcms, idebus[0], idebus[1], rtc_state);
274 
275     if (pcmc->pci_enabled && machine_usb(machine)) {
276         pci_create_simple(pci_bus, piix3_devfn + 2, "piix3-usb-uhci");
277     }
278 
279     if (pcmc->pci_enabled && acpi_enabled) {
280         DeviceState *piix4_pm;
281         I2CBus *smbus;
282 
283         smi_irq = qemu_allocate_irq(pc_acpi_smi_interrupt, first_cpu, 0);
284         /* TODO: Populate SPD eeprom data.  */
285         smbus = piix4_pm_init(pci_bus, piix3_devfn + 3, 0xb100,
286                               pcms->gsi[9], smi_irq,
287                               pc_machine_is_smm_enabled(pcms),
288                               &piix4_pm);
289         smbus_eeprom_init(smbus, 8, NULL, 0);
290 
291         object_property_add_link(OBJECT(machine), PC_MACHINE_ACPI_DEVICE_PROP,
292                                  TYPE_HOTPLUG_HANDLER,
293                                  (Object **)&pcms->acpi_dev,
294                                  object_property_allow_set_link,
295                                  OBJ_PROP_LINK_STRONG, &error_abort);
296         object_property_set_link(OBJECT(machine), OBJECT(piix4_pm),
297                                  PC_MACHINE_ACPI_DEVICE_PROP, &error_abort);
298     }
299 
300     if (pcms->acpi_nvdimm_state.is_enabled) {
301         nvdimm_init_acpi_state(&pcms->acpi_nvdimm_state, system_io,
302                                pcms->fw_cfg, OBJECT(pcms));
303     }
304 }
305 
306 /* Looking for a pc_compat_2_4() function? It doesn't exist.
307  * pc_compat_*() functions that run on machine-init time and
308  * change global QEMU state are deprecated. Please don't create
309  * one, and implement any pc-*-2.4 (and newer) compat code in
310  * HW_COMPAT_*, PC_COMPAT_*, or * pc_*_machine_options().
311  */
312 
313 static void pc_compat_2_3(MachineState *machine)
314 {
315     PCMachineState *pcms = PC_MACHINE(machine);
316     if (kvm_enabled()) {
317         pcms->smm = ON_OFF_AUTO_OFF;
318     }
319 }
320 
321 static void pc_compat_2_2(MachineState *machine)
322 {
323     pc_compat_2_3(machine);
324 }
325 
326 static void pc_compat_2_1(MachineState *machine)
327 {
328     pc_compat_2_2(machine);
329     x86_cpu_change_kvm_default("svm", NULL);
330 }
331 
332 static void pc_compat_2_0(MachineState *machine)
333 {
334     pc_compat_2_1(machine);
335 }
336 
337 static void pc_compat_1_7(MachineState *machine)
338 {
339     pc_compat_2_0(machine);
340     x86_cpu_change_kvm_default("x2apic", NULL);
341 }
342 
343 static void pc_compat_1_6(MachineState *machine)
344 {
345     pc_compat_1_7(machine);
346 }
347 
348 static void pc_compat_1_5(MachineState *machine)
349 {
350     pc_compat_1_6(machine);
351 }
352 
353 static void pc_compat_1_4(MachineState *machine)
354 {
355     pc_compat_1_5(machine);
356 }
357 
358 static void pc_compat_1_3(MachineState *machine)
359 {
360     pc_compat_1_4(machine);
361     enable_compat_apic_id_mode();
362 }
363 
364 /* PC compat function for pc-0.14 to pc-1.2 */
365 static void pc_compat_1_2(MachineState *machine)
366 {
367     pc_compat_1_3(machine);
368     x86_cpu_change_kvm_default("kvm-pv-eoi", NULL);
369 }
370 
371 /* PC compat function for pc-0.12 and pc-0.13 */
372 static void pc_compat_0_13(MachineState *machine)
373 {
374     pc_compat_1_2(machine);
375 }
376 
377 static void pc_init_isa(MachineState *machine)
378 {
379     pc_init1(machine, TYPE_I440FX_PCI_HOST_BRIDGE, TYPE_I440FX_PCI_DEVICE);
380 }
381 
382 #ifdef CONFIG_XEN
383 static void pc_xen_hvm_init_pci(MachineState *machine)
384 {
385     const char *pci_type = has_igd_gfx_passthru ?
386                 TYPE_IGD_PASSTHROUGH_I440FX_PCI_DEVICE : TYPE_I440FX_PCI_DEVICE;
387 
388     pc_init1(machine,
389              TYPE_I440FX_PCI_HOST_BRIDGE,
390              pci_type);
391 }
392 
393 static void pc_xen_hvm_init(MachineState *machine)
394 {
395     PCMachineState *pcms = PC_MACHINE(machine);
396 
397     if (!xen_enabled()) {
398         error_report("xenfv machine requires the xen accelerator");
399         exit(1);
400     }
401 
402     pc_xen_hvm_init_pci(machine);
403     pci_create_simple(pcms->bus, -1, "xen-platform");
404 }
405 #endif
406 
407 #define DEFINE_I440FX_MACHINE(suffix, name, compatfn, optionfn) \
408     static void pc_init_##suffix(MachineState *machine) \
409     { \
410         void (*compat)(MachineState *m) = (compatfn); \
411         if (compat) { \
412             compat(machine); \
413         } \
414         pc_init1(machine, TYPE_I440FX_PCI_HOST_BRIDGE, \
415                  TYPE_I440FX_PCI_DEVICE); \
416     } \
417     DEFINE_PC_MACHINE(suffix, name, pc_init_##suffix, optionfn)
418 
419 static void pc_i440fx_machine_options(MachineClass *m)
420 {
421     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
422     pcmc->default_nic_model = "e1000";
423 
424     m->family = "pc_piix";
425     m->desc = "Standard PC (i440FX + PIIX, 1996)";
426     m->default_machine_opts = "firmware=bios-256k.bin";
427     m->default_display = "std";
428     machine_class_allow_dynamic_sysbus_dev(m, TYPE_RAMFB_DEVICE);
429 }
430 
431 static void pc_i440fx_4_0_machine_options(MachineClass *m)
432 {
433     pc_i440fx_machine_options(m);
434     m->alias = "pc";
435     m->is_default = 1;
436 }
437 
438 DEFINE_I440FX_MACHINE(v4_0, "pc-i440fx-4.0", NULL,
439                       pc_i440fx_4_0_machine_options);
440 
441 static GlobalProperty pc_compat_3_1[] = {
442     PC_COMPAT_3_1
443 };
444 
445 static void pc_i440fx_3_1_machine_options(MachineClass *m)
446 {
447     pc_i440fx_4_0_machine_options(m);
448     m->is_default = 0;
449     m->alias = NULL;
450     compat_props_add(m->compat_props,
451                      pc_compat_3_1, G_N_ELEMENTS(pc_compat_3_1));
452 }
453 
454 DEFINE_I440FX_MACHINE(v3_1, "pc-i440fx-3.1", NULL,
455                       pc_i440fx_3_1_machine_options);
456 
457 static GlobalProperty pc_compat_3_0[] = {
458     PC_COMPAT_3_0
459 };
460 
461 static void pc_i440fx_3_0_machine_options(MachineClass *m)
462 {
463     pc_i440fx_3_1_machine_options(m);
464     compat_props_add(m->compat_props,
465                      pc_compat_3_0, G_N_ELEMENTS(pc_compat_3_0));
466 }
467 
468 DEFINE_I440FX_MACHINE(v3_0, "pc-i440fx-3.0", NULL,
469                       pc_i440fx_3_0_machine_options);
470 
471 static GlobalProperty pc_compat_2_12[] = {
472     PC_COMPAT_2_12
473 };
474 
475 static void pc_i440fx_2_12_machine_options(MachineClass *m)
476 {
477     pc_i440fx_3_0_machine_options(m);
478     compat_props_add(m->compat_props,
479                      pc_compat_2_12, G_N_ELEMENTS(pc_compat_2_12));
480 }
481 
482 DEFINE_I440FX_MACHINE(v2_12, "pc-i440fx-2.12", NULL,
483                       pc_i440fx_2_12_machine_options);
484 
485 static GlobalProperty pc_compat_2_11[] = {
486     PC_COMPAT_2_11
487 };
488 
489 static void pc_i440fx_2_11_machine_options(MachineClass *m)
490 {
491     pc_i440fx_2_12_machine_options(m);
492     compat_props_add(m->compat_props,
493                      pc_compat_2_11, G_N_ELEMENTS(pc_compat_2_11));
494 }
495 
496 DEFINE_I440FX_MACHINE(v2_11, "pc-i440fx-2.11", NULL,
497                       pc_i440fx_2_11_machine_options);
498 
499 static GlobalProperty pc_compat_2_10[] = {
500     PC_COMPAT_2_10
501 };
502 
503 static void pc_i440fx_2_10_machine_options(MachineClass *m)
504 {
505     pc_i440fx_2_11_machine_options(m);
506     compat_props_add(m->compat_props,
507                      pc_compat_2_10, G_N_ELEMENTS(pc_compat_2_10));
508     m->auto_enable_numa_with_memhp = false;
509 }
510 
511 DEFINE_I440FX_MACHINE(v2_10, "pc-i440fx-2.10", NULL,
512                       pc_i440fx_2_10_machine_options);
513 
514 static GlobalProperty pc_compat_2_9[] = {
515     PC_COMPAT_2_9
516 };
517 
518 static void pc_i440fx_2_9_machine_options(MachineClass *m)
519 {
520     pc_i440fx_2_10_machine_options(m);
521     compat_props_add(m->compat_props,
522                      pc_compat_2_9, G_N_ELEMENTS(pc_compat_2_9));
523     m->numa_auto_assign_ram = numa_legacy_auto_assign_ram;
524 }
525 
526 DEFINE_I440FX_MACHINE(v2_9, "pc-i440fx-2.9", NULL,
527                       pc_i440fx_2_9_machine_options);
528 
529 static GlobalProperty pc_compat_2_8[] = {
530     PC_COMPAT_2_8
531 };
532 
533 static void pc_i440fx_2_8_machine_options(MachineClass *m)
534 {
535     pc_i440fx_2_9_machine_options(m);
536     compat_props_add(m->compat_props,
537                      pc_compat_2_8, G_N_ELEMENTS(pc_compat_2_8));
538 }
539 
540 DEFINE_I440FX_MACHINE(v2_8, "pc-i440fx-2.8", NULL,
541                       pc_i440fx_2_8_machine_options);
542 
543 static GlobalProperty pc_compat_2_7[] = {
544     PC_COMPAT_2_7
545 };
546 
547 static void pc_i440fx_2_7_machine_options(MachineClass *m)
548 {
549     pc_i440fx_2_8_machine_options(m);
550     compat_props_add(m->compat_props,
551                      pc_compat_2_7, G_N_ELEMENTS(pc_compat_2_7));
552 }
553 
554 DEFINE_I440FX_MACHINE(v2_7, "pc-i440fx-2.7", NULL,
555                       pc_i440fx_2_7_machine_options);
556 
557 static GlobalProperty pc_compat_2_6[] = {
558     PC_COMPAT_2_6
559 };
560 
561 static void pc_i440fx_2_6_machine_options(MachineClass *m)
562 {
563     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
564     pc_i440fx_2_7_machine_options(m);
565     pcmc->legacy_cpu_hotplug = true;
566     pcmc->linuxboot_dma_enabled = false;
567     compat_props_add(m->compat_props,
568                      pc_compat_2_6, G_N_ELEMENTS(pc_compat_2_6));
569 }
570 
571 DEFINE_I440FX_MACHINE(v2_6, "pc-i440fx-2.6", NULL,
572                       pc_i440fx_2_6_machine_options);
573 
574 static GlobalProperty pc_compat_2_5[] = {
575     PC_COMPAT_2_5
576 };
577 
578 static void pc_i440fx_2_5_machine_options(MachineClass *m)
579 {
580     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
581     pc_i440fx_2_6_machine_options(m);
582     pcmc->save_tsc_khz = false;
583     m->legacy_fw_cfg_order = 1;
584     compat_props_add(m->compat_props,
585                      pc_compat_2_5, G_N_ELEMENTS(pc_compat_2_5));
586 }
587 
588 DEFINE_I440FX_MACHINE(v2_5, "pc-i440fx-2.5", NULL,
589                       pc_i440fx_2_5_machine_options);
590 
591 static GlobalProperty pc_compat_2_4[] = {
592     PC_COMPAT_2_4
593 };
594 
595 static void pc_i440fx_2_4_machine_options(MachineClass *m)
596 {
597     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
598     pc_i440fx_2_5_machine_options(m);
599     m->hw_version = "2.4.0";
600     pcmc->broken_reserved_end = true;
601     compat_props_add(m->compat_props,
602                      pc_compat_2_4, G_N_ELEMENTS(pc_compat_2_4));
603 }
604 
605 DEFINE_I440FX_MACHINE(v2_4, "pc-i440fx-2.4", NULL,
606                       pc_i440fx_2_4_machine_options)
607 
608 static GlobalProperty pc_compatp_2_3[] = {
609     PC_COMPAT_2_3
610 };
611 
612 static void pc_i440fx_2_3_machine_options(MachineClass *m)
613 {
614     pc_i440fx_2_4_machine_options(m);
615     m->hw_version = "2.3.0";
616     compat_props_add(m->compat_props,
617                      pc_compatp_2_3, G_N_ELEMENTS(pc_compatp_2_3));
618 }
619 
620 DEFINE_I440FX_MACHINE(v2_3, "pc-i440fx-2.3", pc_compat_2_3,
621                       pc_i440fx_2_3_machine_options);
622 
623 static GlobalProperty pc_compatp_2_2[] = {
624     PC_COMPAT_2_2
625 };
626 
627 static void pc_i440fx_2_2_machine_options(MachineClass *m)
628 {
629     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
630     pc_i440fx_2_3_machine_options(m);
631     m->hw_version = "2.2.0";
632     m->default_machine_opts = "firmware=bios-256k.bin,suppress-vmdesc=on";
633     compat_props_add(m->compat_props,
634                      pc_compatp_2_2, G_N_ELEMENTS(pc_compatp_2_2));
635     pcmc->rsdp_in_ram = false;
636 }
637 
638 DEFINE_I440FX_MACHINE(v2_2, "pc-i440fx-2.2", pc_compat_2_2,
639                       pc_i440fx_2_2_machine_options);
640 
641 static GlobalProperty pc_compatp_2_1[] = {
642     PC_COMPAT_2_1
643 };
644 
645 static void pc_i440fx_2_1_machine_options(MachineClass *m)
646 {
647     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
648     pc_i440fx_2_2_machine_options(m);
649     m->hw_version = "2.1.0";
650     m->default_display = NULL;
651     compat_props_add(m->compat_props,
652                      pc_compatp_2_1, G_N_ELEMENTS(pc_compatp_2_1));
653     pcmc->smbios_uuid_encoded = false;
654     pcmc->enforce_aligned_dimm = false;
655 }
656 
657 DEFINE_I440FX_MACHINE(v2_1, "pc-i440fx-2.1", pc_compat_2_1,
658                       pc_i440fx_2_1_machine_options);
659 
660 static GlobalProperty pc_compatp_2_0[] = {
661     PC_COMPAT_2_0
662 };
663 
664 static void pc_i440fx_2_0_machine_options(MachineClass *m)
665 {
666     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
667     pc_i440fx_2_1_machine_options(m);
668     m->hw_version = "2.0.0";
669     compat_props_add(m->compat_props,
670                      pc_compatp_2_0, G_N_ELEMENTS(pc_compatp_2_0));
671     pcmc->smbios_legacy_mode = true;
672     pcmc->has_reserved_memory = false;
673     /* This value depends on the actual DSDT and SSDT compiled into
674      * the source QEMU; unfortunately it depends on the binary and
675      * not on the machine type, so we cannot make pc-i440fx-1.7 work on
676      * both QEMU 1.7 and QEMU 2.0.
677      *
678      * Large variations cause migration to fail for more than one
679      * consecutive value of the "-smp" maxcpus option.
680      *
681      * For small variations of the kind caused by different iasl versions,
682      * the 4k rounding usually leaves slack.  However, there could be still
683      * one or two values that break.  For QEMU 1.7 and QEMU 2.0 the
684      * slack is only ~10 bytes before one "-smp maxcpus" value breaks!
685      *
686      * 6652 is valid for QEMU 2.0, the right value for pc-i440fx-1.7 on
687      * QEMU 1.7 it is 6414.  For RHEL/CentOS 7.0 it is 6418.
688      */
689     pcmc->legacy_acpi_table_size = 6652;
690     pcmc->acpi_data_size = 0x10000;
691 }
692 
693 DEFINE_I440FX_MACHINE(v2_0, "pc-i440fx-2.0", pc_compat_2_0,
694                       pc_i440fx_2_0_machine_options);
695 
696 static GlobalProperty pc_compatp_1_7[] = {
697     PC_COMPAT_1_7
698 };
699 
700 static void pc_i440fx_1_7_machine_options(MachineClass *m)
701 {
702     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
703     pc_i440fx_2_0_machine_options(m);
704     m->hw_version = "1.7.0";
705     m->default_machine_opts = NULL;
706     m->option_rom_has_mr = true;
707     compat_props_add(m->compat_props,
708                      pc_compatp_1_7, G_N_ELEMENTS(pc_compatp_1_7));
709     pcmc->smbios_defaults = false;
710     pcmc->gigabyte_align = false;
711     pcmc->legacy_acpi_table_size = 6414;
712 }
713 
714 DEFINE_I440FX_MACHINE(v1_7, "pc-i440fx-1.7", pc_compat_1_7,
715                       pc_i440fx_1_7_machine_options);
716 
717 static GlobalProperty pc_compatp_1_6[] = {
718     PC_COMPAT_1_6
719 };
720 
721 static void pc_i440fx_1_6_machine_options(MachineClass *m)
722 {
723     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
724     pc_i440fx_1_7_machine_options(m);
725     m->hw_version = "1.6.0";
726     m->rom_file_has_mr = false;
727     compat_props_add(m->compat_props,
728                      pc_compatp_1_6, G_N_ELEMENTS(pc_compatp_1_6));
729     pcmc->has_acpi_build = false;
730 }
731 
732 DEFINE_I440FX_MACHINE(v1_6, "pc-i440fx-1.6", pc_compat_1_6,
733                       pc_i440fx_1_6_machine_options);
734 
735 static GlobalProperty pc_compatp_1_5[] = {
736     PC_COMPAT_1_5
737 };
738 
739 static void pc_i440fx_1_5_machine_options(MachineClass *m)
740 {
741     pc_i440fx_1_6_machine_options(m);
742     m->hw_version = "1.5.0";
743     compat_props_add(m->compat_props,
744                      pc_compatp_1_5, G_N_ELEMENTS(pc_compatp_1_5));
745 }
746 
747 DEFINE_I440FX_MACHINE(v1_5, "pc-i440fx-1.5", pc_compat_1_5,
748                       pc_i440fx_1_5_machine_options);
749 
750 static GlobalProperty pc_compatp_1_4[] = {
751     PC_COMPAT_1_4
752 };
753 
754 static void pc_i440fx_1_4_machine_options(MachineClass *m)
755 {
756     pc_i440fx_1_5_machine_options(m);
757     m->hw_version = "1.4.0";
758     m->hot_add_cpu = NULL;
759     compat_props_add(m->compat_props,
760                      pc_compatp_1_4, G_N_ELEMENTS(pc_compatp_1_4));
761 }
762 
763 DEFINE_I440FX_MACHINE(v1_4, "pc-i440fx-1.4", pc_compat_1_4,
764                       pc_i440fx_1_4_machine_options);
765 
766 static GlobalProperty pc_compatp_1_3[] = {
767     PC_CPU_MODEL_IDS("1.3.0")
768     {
769         .driver   = "usb-tablet",
770         .property = "usb_version",
771         .value    = stringify(1),
772     },{
773         .driver   = "virtio-net-pci",
774         .property = "ctrl_mac_addr",
775         .value    = "off",
776     },{
777         .driver   = "virtio-net-pci",
778         .property = "mq",
779         .value    = "off",
780     }, {
781         .driver   = "e1000",
782         .property = "autonegotiation",
783         .value    = "off",
784     },
785 };
786 
787 static void pc_i440fx_1_3_machine_options(MachineClass *m)
788 {
789     pc_i440fx_1_4_machine_options(m);
790     m->hw_version = "1.3.0";
791     compat_props_add(m->compat_props,
792                      pc_compatp_1_3, G_N_ELEMENTS(pc_compatp_1_3));
793 }
794 
795 DEFINE_I440FX_MACHINE(v1_3, "pc-1.3", pc_compat_1_3,
796                       pc_i440fx_1_3_machine_options);
797 
798 
799 static GlobalProperty pc_compatp_1_2[] = {
800     PC_CPU_MODEL_IDS("1.2.0")
801     {
802         .driver   = "nec-usb-xhci",
803         .property = "msi",
804         .value    = "off",
805     },{
806         .driver   = "nec-usb-xhci",
807         .property = "msix",
808         .value    = "off",
809     },{
810         .driver   = "ivshmem",
811         .property = "use64",
812         .value    = "0",
813     },{
814         .driver   = "qxl",
815         .property = "revision",
816         .value    = stringify(3),
817     },{
818         .driver   = "qxl-vga",
819         .property = "revision",
820         .value    = stringify(3),
821     },{
822         .driver   = "VGA",
823         .property = "mmio",
824         .value    = "off",
825     },
826 };
827 
828 static void pc_i440fx_1_2_machine_options(MachineClass *m)
829 {
830     pc_i440fx_1_3_machine_options(m);
831     m->hw_version = "1.2.0";
832     compat_props_add(m->compat_props,
833                      pc_compatp_1_2, G_N_ELEMENTS(pc_compatp_1_2));
834 }
835 
836 DEFINE_I440FX_MACHINE(v1_2, "pc-1.2", pc_compat_1_2,
837                       pc_i440fx_1_2_machine_options);
838 
839 
840 static GlobalProperty pc_compatp_1_1[] = {
841     PC_CPU_MODEL_IDS("1.1.0")
842     {
843         .driver   = "virtio-scsi-pci",
844         .property = "hotplug",
845         .value    = "off",
846     },{
847         .driver   = "virtio-scsi-pci",
848         .property = "param_change",
849         .value    = "off",
850     },{
851         .driver   = "VGA",
852         .property = "vgamem_mb",
853         .value    = stringify(8),
854     },{
855         .driver   = "vmware-svga",
856         .property = "vgamem_mb",
857         .value    = stringify(8),
858     },{
859         .driver   = "qxl-vga",
860         .property = "vgamem_mb",
861         .value    = stringify(8),
862     },{
863         .driver   = "qxl",
864         .property = "vgamem_mb",
865         .value    = stringify(8),
866     },{
867         .driver   = "virtio-blk-pci",
868         .property = "config-wce",
869         .value    = "off",
870     },
871 };
872 
873 static void pc_i440fx_1_1_machine_options(MachineClass *m)
874 {
875     pc_i440fx_1_2_machine_options(m);
876     m->hw_version = "1.1.0";
877     compat_props_add(m->compat_props,
878                      pc_compatp_1_1, G_N_ELEMENTS(pc_compatp_1_1));
879 }
880 
881 DEFINE_I440FX_MACHINE(v1_1, "pc-1.1", pc_compat_1_2,
882                       pc_i440fx_1_1_machine_options);
883 
884 static GlobalProperty pc_compatp_1_0[] = {
885     PC_CPU_MODEL_IDS("1.0")
886     {
887         .driver   = TYPE_ISA_FDC,
888         .property = "check_media_rate",
889         .value    = "off",
890     },{
891         .driver   = "virtio-balloon-pci",
892         .property = "class",
893         .value    = stringify(PCI_CLASS_MEMORY_RAM),
894     },{
895         .driver   = "apic-common",
896         .property = "vapic",
897         .value    = "off",
898     },{
899         .driver   = TYPE_USB_DEVICE,
900         .property = "full-path",
901         .value    = "no",
902     },
903 };
904 
905 static void pc_i440fx_1_0_machine_options(MachineClass *m)
906 {
907     pc_i440fx_1_1_machine_options(m);
908     m->hw_version = "1.0";
909     compat_props_add(m->compat_props,
910                      pc_compatp_1_0, G_N_ELEMENTS(pc_compatp_1_0));
911 }
912 
913 DEFINE_I440FX_MACHINE(v1_0, "pc-1.0", pc_compat_1_2,
914                       pc_i440fx_1_0_machine_options);
915 
916 
917 static GlobalProperty pc_compatp_0_15[] = {
918     PC_CPU_MODEL_IDS("0.15")
919 };
920 
921 static void pc_i440fx_0_15_machine_options(MachineClass *m)
922 {
923     pc_i440fx_1_0_machine_options(m);
924     m->hw_version = "0.15";
925     m->deprecation_reason = "use a newer machine type instead";
926     compat_props_add(m->compat_props,
927                      pc_compatp_0_15, G_N_ELEMENTS(pc_compatp_0_15));
928 }
929 
930 DEFINE_I440FX_MACHINE(v0_15, "pc-0.15", pc_compat_1_2,
931                       pc_i440fx_0_15_machine_options);
932 
933 
934 static GlobalProperty pc_compatp_0_14[] = {
935     PC_CPU_MODEL_IDS("0.14")
936     {
937         .driver   = "virtio-blk-pci",
938         .property = "event_idx",
939         .value    = "off",
940     },{
941         .driver   = "virtio-serial-pci",
942         .property = "event_idx",
943         .value    = "off",
944     },{
945         .driver   = "virtio-net-pci",
946         .property = "event_idx",
947         .value    = "off",
948     },{
949         .driver   = "virtio-balloon-pci",
950         .property = "event_idx",
951         .value    = "off",
952     },{
953         .driver   = "qxl",
954         .property = "revision",
955         .value    = stringify(2),
956     },{
957         .driver   = "qxl-vga",
958         .property = "revision",
959         .value    = stringify(2),
960     },
961 };
962 
963 static void pc_i440fx_0_14_machine_options(MachineClass *m)
964 {
965     pc_i440fx_0_15_machine_options(m);
966     m->hw_version = "0.14";
967     compat_props_add(m->compat_props,
968                      pc_compatp_0_14, G_N_ELEMENTS(pc_compatp_0_14));
969 }
970 
971 DEFINE_I440FX_MACHINE(v0_14, "pc-0.14", pc_compat_1_2,
972                       pc_i440fx_0_14_machine_options);
973 
974 static GlobalProperty pc_compatp_0_13[] = {
975     PC_CPU_MODEL_IDS("0.13")
976     {
977         .driver   = TYPE_PCI_DEVICE,
978         .property = "command_serr_enable",
979         .value    = "off",
980     },{
981         .driver   = "AC97",
982         .property = "use_broken_id",
983         .value    = stringify(1),
984     },{
985         .driver   = "virtio-9p-pci",
986         .property = "vectors",
987         .value    = stringify(0),
988     },{
989         .driver   = "VGA",
990         .property = "rombar",
991         .value    = stringify(0),
992     },{
993         .driver   = "vmware-svga",
994         .property = "rombar",
995         .value    = stringify(0),
996     },
997 };
998 
999 static void pc_i440fx_0_13_machine_options(MachineClass *m)
1000 {
1001     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
1002     pc_i440fx_0_14_machine_options(m);
1003     m->hw_version = "0.13";
1004     compat_props_add(m->compat_props,
1005                      pc_compatp_0_13, G_N_ELEMENTS(pc_compatp_0_13));
1006     pcmc->kvmclock_enabled = false;
1007 }
1008 
1009 DEFINE_I440FX_MACHINE(v0_13, "pc-0.13", pc_compat_0_13,
1010                       pc_i440fx_0_13_machine_options);
1011 
1012 static GlobalProperty pc_compat_0_12[] = {
1013     PC_CPU_MODEL_IDS("0.12")
1014     {
1015         .driver   = "virtio-serial-pci",
1016         .property = "max_ports",
1017         .value    = stringify(1),
1018     },{
1019         .driver   = "virtio-serial-pci",
1020         .property = "vectors",
1021         .value    = stringify(0),
1022     },{
1023         .driver   = "usb-mouse",
1024         .property = "serial",
1025         .value    = "1",
1026     },{
1027         .driver   = "usb-tablet",
1028         .property = "serial",
1029         .value    = "1",
1030     },{
1031         .driver   = "usb-kbd",
1032         .property = "serial",
1033         .value    = "1",
1034     },
1035 };
1036 
1037 static void pc_i440fx_0_12_machine_options(MachineClass *m)
1038 {
1039     pc_i440fx_0_13_machine_options(m);
1040     m->hw_version = "0.12";
1041     compat_props_add(m->compat_props,
1042                      pc_compat_0_12, G_N_ELEMENTS(pc_compat_0_12));
1043 }
1044 
1045 DEFINE_I440FX_MACHINE(v0_12, "pc-0.12", pc_compat_0_13,
1046                       pc_i440fx_0_12_machine_options);
1047 
1048 typedef struct {
1049     uint16_t gpu_device_id;
1050     uint16_t pch_device_id;
1051     uint8_t pch_revision_id;
1052 } IGDDeviceIDInfo;
1053 
1054 /* In real world different GPU should have different PCH. But actually
1055  * the different PCH DIDs likely map to different PCH SKUs. We do the
1056  * same thing for the GPU. For PCH, the different SKUs are going to be
1057  * all the same silicon design and implementation, just different
1058  * features turn on and off with fuses. The SW interfaces should be
1059  * consistent across all SKUs in a given family (eg LPT). But just same
1060  * features may not be supported.
1061  *
1062  * Most of these different PCH features probably don't matter to the
1063  * Gfx driver, but obviously any difference in display port connections
1064  * will so it should be fine with any PCH in case of passthrough.
1065  *
1066  * So currently use one PCH version, 0x8c4e, to cover all HSW(Haswell)
1067  * scenarios, 0x9cc3 for BDW(Broadwell).
1068  */
1069 static const IGDDeviceIDInfo igd_combo_id_infos[] = {
1070     /* HSW Classic */
1071     {0x0402, 0x8c4e, 0x04}, /* HSWGT1D, HSWD_w7 */
1072     {0x0406, 0x8c4e, 0x04}, /* HSWGT1M, HSWM_w7 */
1073     {0x0412, 0x8c4e, 0x04}, /* HSWGT2D, HSWD_w7 */
1074     {0x0416, 0x8c4e, 0x04}, /* HSWGT2M, HSWM_w7 */
1075     {0x041E, 0x8c4e, 0x04}, /* HSWGT15D, HSWD_w7 */
1076     /* HSW ULT */
1077     {0x0A06, 0x8c4e, 0x04}, /* HSWGT1UT, HSWM_w7 */
1078     {0x0A16, 0x8c4e, 0x04}, /* HSWGT2UT, HSWM_w7 */
1079     {0x0A26, 0x8c4e, 0x06}, /* HSWGT3UT, HSWM_w7 */
1080     {0x0A2E, 0x8c4e, 0x04}, /* HSWGT3UT28W, HSWM_w7 */
1081     {0x0A1E, 0x8c4e, 0x04}, /* HSWGT2UX, HSWM_w7 */
1082     {0x0A0E, 0x8c4e, 0x04}, /* HSWGT1ULX, HSWM_w7 */
1083     /* HSW CRW */
1084     {0x0D26, 0x8c4e, 0x04}, /* HSWGT3CW, HSWM_w7 */
1085     {0x0D22, 0x8c4e, 0x04}, /* HSWGT3CWDT, HSWD_w7 */
1086     /* HSW Server */
1087     {0x041A, 0x8c4e, 0x04}, /* HSWSVGT2, HSWD_w7 */
1088     /* HSW SRVR */
1089     {0x040A, 0x8c4e, 0x04}, /* HSWSVGT1, HSWD_w7 */
1090     /* BSW */
1091     {0x1606, 0x9cc3, 0x03}, /* BDWULTGT1, BDWM_w7 */
1092     {0x1616, 0x9cc3, 0x03}, /* BDWULTGT2, BDWM_w7 */
1093     {0x1626, 0x9cc3, 0x03}, /* BDWULTGT3, BDWM_w7 */
1094     {0x160E, 0x9cc3, 0x03}, /* BDWULXGT1, BDWM_w7 */
1095     {0x161E, 0x9cc3, 0x03}, /* BDWULXGT2, BDWM_w7 */
1096     {0x1602, 0x9cc3, 0x03}, /* BDWHALOGT1, BDWM_w7 */
1097     {0x1612, 0x9cc3, 0x03}, /* BDWHALOGT2, BDWM_w7 */
1098     {0x1622, 0x9cc3, 0x03}, /* BDWHALOGT3, BDWM_w7 */
1099     {0x162B, 0x9cc3, 0x03}, /* BDWHALO28W, BDWM_w7 */
1100     {0x162A, 0x9cc3, 0x03}, /* BDWGT3WRKS, BDWM_w7 */
1101     {0x162D, 0x9cc3, 0x03}, /* BDWGT3SRVR, BDWM_w7 */
1102 };
1103 
1104 static void isa_bridge_class_init(ObjectClass *klass, void *data)
1105 {
1106     DeviceClass *dc = DEVICE_CLASS(klass);
1107     PCIDeviceClass *k = PCI_DEVICE_CLASS(klass);
1108 
1109     dc->desc        = "ISA bridge faked to support IGD PT";
1110     k->vendor_id    = PCI_VENDOR_ID_INTEL;
1111     k->class_id     = PCI_CLASS_BRIDGE_ISA;
1112 };
1113 
1114 static TypeInfo isa_bridge_info = {
1115     .name          = "igd-passthrough-isa-bridge",
1116     .parent        = TYPE_PCI_DEVICE,
1117     .instance_size = sizeof(PCIDevice),
1118     .class_init = isa_bridge_class_init,
1119     .interfaces = (InterfaceInfo[]) {
1120         { INTERFACE_CONVENTIONAL_PCI_DEVICE },
1121         { },
1122     },
1123 };
1124 
1125 static void pt_graphics_register_types(void)
1126 {
1127     type_register_static(&isa_bridge_info);
1128 }
1129 type_init(pt_graphics_register_types)
1130 
1131 void igd_passthrough_isa_bridge_create(PCIBus *bus, uint16_t gpu_dev_id)
1132 {
1133     struct PCIDevice *bridge_dev;
1134     int i, num;
1135     uint16_t pch_dev_id = 0xffff;
1136     uint8_t pch_rev_id;
1137 
1138     num = ARRAY_SIZE(igd_combo_id_infos);
1139     for (i = 0; i < num; i++) {
1140         if (gpu_dev_id == igd_combo_id_infos[i].gpu_device_id) {
1141             pch_dev_id = igd_combo_id_infos[i].pch_device_id;
1142             pch_rev_id = igd_combo_id_infos[i].pch_revision_id;
1143         }
1144     }
1145 
1146     if (pch_dev_id == 0xffff) {
1147         return;
1148     }
1149 
1150     /* Currently IGD drivers always need to access PCH by 1f.0. */
1151     bridge_dev = pci_create_simple(bus, PCI_DEVFN(0x1f, 0),
1152                                    "igd-passthrough-isa-bridge");
1153 
1154     /*
1155      * Note that vendor id is always PCI_VENDOR_ID_INTEL.
1156      */
1157     if (!bridge_dev) {
1158         fprintf(stderr, "set igd-passthrough-isa-bridge failed!\n");
1159         return;
1160     }
1161     pci_config_set_device_id(bridge_dev->config, pch_dev_id);
1162     pci_config_set_revision(bridge_dev->config, pch_rev_id);
1163 }
1164 
1165 static void isapc_machine_options(MachineClass *m)
1166 {
1167     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
1168     m->desc = "ISA-only PC";
1169     m->max_cpus = 1;
1170     m->option_rom_has_mr = true;
1171     m->rom_file_has_mr = false;
1172     pcmc->pci_enabled = false;
1173     pcmc->has_acpi_build = false;
1174     pcmc->smbios_defaults = false;
1175     pcmc->gigabyte_align = false;
1176     pcmc->smbios_legacy_mode = true;
1177     pcmc->has_reserved_memory = false;
1178     pcmc->default_nic_model = "ne2k_isa";
1179     m->default_cpu_type = X86_CPU_TYPE_NAME("486");
1180 }
1181 
1182 DEFINE_PC_MACHINE(isapc, "isapc", pc_init_isa,
1183                   isapc_machine_options);
1184 
1185 
1186 #ifdef CONFIG_XEN
1187 static void xenfv_machine_options(MachineClass *m)
1188 {
1189     m->desc = "Xen Fully-virtualized PC";
1190     m->max_cpus = HVM_MAX_VCPUS;
1191     m->default_machine_opts = "accel=xen";
1192 }
1193 
1194 DEFINE_PC_MACHINE(xenfv, "xenfv", pc_xen_hvm_init,
1195                   xenfv_machine_options);
1196 #endif
1197