hw/i386/pc_piix.c

   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 void pc_i440fx_3_1_machine_options(MachineClass *m)
 442 {
 443     pc_i440fx_4_0_machine_options(m);
 444     m->is_default = 0;
 445     m->alias = NULL;
 446     compat_props_add(m->compat_props, hw_compat_3_1, hw_compat_3_1_len);
 447     compat_props_add(m->compat_props, pc_compat_3_1, pc_compat_3_1_len);
 448 }
 449
 450 DEFINE_I440FX_MACHINE(v3_1, "pc-i440fx-3.1", NULL,
 451                       pc_i440fx_3_1_machine_options);
 452
 453 static void pc_i440fx_3_0_machine_options(MachineClass *m)
 454 {
 455     static GlobalProperty compat[] = {
 456         PC_COMPAT_3_0
 457     };
 458
 459     pc_i440fx_3_1_machine_options(m);
 460     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 461 }
 462
 463 DEFINE_I440FX_MACHINE(v3_0, "pc-i440fx-3.0", NULL,
 464                       pc_i440fx_3_0_machine_options);
 465
 466 static void pc_i440fx_2_12_machine_options(MachineClass *m)
 467 {
 468     static GlobalProperty compat[] = {
 469         PC_COMPAT_2_12
 470     };
 471
 472     pc_i440fx_3_0_machine_options(m);
 473     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 474 }
 475
 476 DEFINE_I440FX_MACHINE(v2_12, "pc-i440fx-2.12", NULL,
 477                       pc_i440fx_2_12_machine_options);
 478
 479 static void pc_i440fx_2_11_machine_options(MachineClass *m)
 480 {
 481     static GlobalProperty compat[] = {
 482         PC_COMPAT_2_11
 483     };
 484
 485     pc_i440fx_2_12_machine_options(m);
 486     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 487 }
 488
 489 DEFINE_I440FX_MACHINE(v2_11, "pc-i440fx-2.11", NULL,
 490                       pc_i440fx_2_11_machine_options);
 491
 492 static void pc_i440fx_2_10_machine_options(MachineClass *m)
 493 {
 494     static GlobalProperty compat[] = {
 495         PC_COMPAT_2_10
 496     };
 497
 498     pc_i440fx_2_11_machine_options(m);
 499     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 500     m->auto_enable_numa_with_memhp = false;
 501 }
 502
 503 DEFINE_I440FX_MACHINE(v2_10, "pc-i440fx-2.10", NULL,
 504                       pc_i440fx_2_10_machine_options);
 505
 506 static void pc_i440fx_2_9_machine_options(MachineClass *m)
 507 {
 508     static GlobalProperty compat[] = {
 509         PC_COMPAT_2_9
 510     };
 511
 512     pc_i440fx_2_10_machine_options(m);
 513     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 514     m->numa_auto_assign_ram = numa_legacy_auto_assign_ram;
 515 }
 516
 517 DEFINE_I440FX_MACHINE(v2_9, "pc-i440fx-2.9", NULL,
 518                       pc_i440fx_2_9_machine_options);
 519
 520 static void pc_i440fx_2_8_machine_options(MachineClass *m)
 521 {
 522     static GlobalProperty compat[] = {
 523         PC_COMPAT_2_8
 524     };
 525
 526     pc_i440fx_2_9_machine_options(m);
 527     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 528 }
 529
 530 DEFINE_I440FX_MACHINE(v2_8, "pc-i440fx-2.8", NULL,
 531                       pc_i440fx_2_8_machine_options);
 532
 533 static void pc_i440fx_2_7_machine_options(MachineClass *m)
 534 {
 535     static GlobalProperty compat[] = {
 536         PC_COMPAT_2_7
 537     };
 538
 539     pc_i440fx_2_8_machine_options(m);
 540     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 541 }
 542
 543 DEFINE_I440FX_MACHINE(v2_7, "pc-i440fx-2.7", NULL,
 544                       pc_i440fx_2_7_machine_options);
 545
 546 static void pc_i440fx_2_6_machine_options(MachineClass *m)
 547 {
 548     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
 549     static GlobalProperty compat[] = {
 550         PC_COMPAT_2_6
 551     };
 552
 553     pc_i440fx_2_7_machine_options(m);
 554     pcmc->legacy_cpu_hotplug = true;
 555     pcmc->linuxboot_dma_enabled = false;
 556     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 557 }
 558
 559 DEFINE_I440FX_MACHINE(v2_6, "pc-i440fx-2.6", NULL,
 560                       pc_i440fx_2_6_machine_options);
 561
 562 static void pc_i440fx_2_5_machine_options(MachineClass *m)
 563 {
 564     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
 565     static GlobalProperty compat[] = {
 566         PC_COMPAT_2_5
 567     };
 568
 569     pc_i440fx_2_6_machine_options(m);
 570     pcmc->save_tsc_khz = false;
 571     m->legacy_fw_cfg_order = 1;
 572     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 573 }
 574
 575 DEFINE_I440FX_MACHINE(v2_5, "pc-i440fx-2.5", NULL,
 576                       pc_i440fx_2_5_machine_options);
 577
 578 static void pc_i440fx_2_4_machine_options(MachineClass *m)
 579 {
 580     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
 581     static GlobalProperty compat[] = {
 582         PC_COMPAT_2_4
 583     };
 584
 585     pc_i440fx_2_5_machine_options(m);
 586     m->hw_version = "2.4.0";
 587     pcmc->broken_reserved_end = true;
 588     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 589 }
 590
 591 DEFINE_I440FX_MACHINE(v2_4, "pc-i440fx-2.4", NULL,
 592                       pc_i440fx_2_4_machine_options)
 593
 594 static void pc_i440fx_2_3_machine_options(MachineClass *m)
 595 {
 596     static GlobalProperty compat[] = {
 597         PC_COMPAT_2_3
 598     };
 599
 600     pc_i440fx_2_4_machine_options(m);
 601     m->hw_version = "2.3.0";
 602     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 603 }
 604
 605 DEFINE_I440FX_MACHINE(v2_3, "pc-i440fx-2.3", pc_compat_2_3,
 606                       pc_i440fx_2_3_machine_options);
 607
 608 static void pc_i440fx_2_2_machine_options(MachineClass *m)
 609 {
 610     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
 611     static GlobalProperty compat[] = {
 612         PC_COMPAT_2_2
 613     };
 614
 615     pc_i440fx_2_3_machine_options(m);
 616     m->hw_version = "2.2.0";
 617     m->default_machine_opts = "firmware=bios-256k.bin,suppress-vmdesc=on";
 618     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 619     pcmc->rsdp_in_ram = false;
 620 }
 621
 622 DEFINE_I440FX_MACHINE(v2_2, "pc-i440fx-2.2", pc_compat_2_2,
 623                       pc_i440fx_2_2_machine_options);
 624
 625 static void pc_i440fx_2_1_machine_options(MachineClass *m)
 626 {
 627     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
 628     static GlobalProperty compat[] = {
 629         PC_COMPAT_2_1
 630     };
 631
 632     pc_i440fx_2_2_machine_options(m);
 633     m->hw_version = "2.1.0";
 634     m->default_display = NULL;
 635     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 636     pcmc->smbios_uuid_encoded = false;
 637     pcmc->enforce_aligned_dimm = false;
 638 }
 639
 640 DEFINE_I440FX_MACHINE(v2_1, "pc-i440fx-2.1", pc_compat_2_1,
 641                       pc_i440fx_2_1_machine_options);
 642
 643 static void pc_i440fx_2_0_machine_options(MachineClass *m)
 644 {
 645     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
 646     static GlobalProperty compat[] = {
 647         PC_COMPAT_2_0
 648     };
 649
 650     pc_i440fx_2_1_machine_options(m);
 651     m->hw_version = "2.0.0";
 652     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 653     pcmc->smbios_legacy_mode = true;
 654     pcmc->has_reserved_memory = false;
 655     /* This value depends on the actual DSDT and SSDT compiled into
 656      * the source QEMU; unfortunately it depends on the binary and
 657      * not on the machine type, so we cannot make pc-i440fx-1.7 work on
 658      * both QEMU 1.7 and QEMU 2.0.
 659      *
 660      * Large variations cause migration to fail for more than one
 661      * consecutive value of the "-smp" maxcpus option.
 662      *
 663      * For small variations of the kind caused by different iasl versions,
 664      * the 4k rounding usually leaves slack.  However, there could be still
 665      * one or two values that break.  For QEMU 1.7 and QEMU 2.0 the
 666      * slack is only ~10 bytes before one "-smp maxcpus" value breaks!
 667      *
 668      * 6652 is valid for QEMU 2.0, the right value for pc-i440fx-1.7 on
 669      * QEMU 1.7 it is 6414.  For RHEL/CentOS 7.0 it is 6418.
 670      */
 671     pcmc->legacy_acpi_table_size = 6652;
 672     pcmc->acpi_data_size = 0x10000;
 673 }
 674
 675 DEFINE_I440FX_MACHINE(v2_0, "pc-i440fx-2.0", pc_compat_2_0,
 676                       pc_i440fx_2_0_machine_options);
 677
 678 static void pc_i440fx_1_7_machine_options(MachineClass *m)
 679 {
 680     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
 681     static GlobalProperty compat[] = {
 682         PC_COMPAT_1_7
 683     };
 684
 685     pc_i440fx_2_0_machine_options(m);
 686     m->hw_version = "1.7.0";
 687     m->default_machine_opts = NULL;
 688     m->option_rom_has_mr = true;
 689     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 690     pcmc->smbios_defaults = false;
 691     pcmc->gigabyte_align = false;
 692     pcmc->legacy_acpi_table_size = 6414;
 693 }
 694
 695 DEFINE_I440FX_MACHINE(v1_7, "pc-i440fx-1.7", pc_compat_1_7,
 696                       pc_i440fx_1_7_machine_options);
 697
 698 static void pc_i440fx_1_6_machine_options(MachineClass *m)
 699 {
 700     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
 701     static GlobalProperty compat[] = {
 702         PC_COMPAT_1_6
 703     };
 704
 705     pc_i440fx_1_7_machine_options(m);
 706     m->hw_version = "1.6.0";
 707     m->rom_file_has_mr = false;
 708     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 709     pcmc->has_acpi_build = false;
 710 }
 711
 712 DEFINE_I440FX_MACHINE(v1_6, "pc-i440fx-1.6", pc_compat_1_6,
 713                       pc_i440fx_1_6_machine_options);
 714
 715 static void pc_i440fx_1_5_machine_options(MachineClass *m)
 716 {
 717     static GlobalProperty compat[] = {
 718         PC_COMPAT_1_5
 719     };
 720
 721     pc_i440fx_1_6_machine_options(m);
 722     m->hw_version = "1.5.0";
 723     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 724 }
 725
 726 DEFINE_I440FX_MACHINE(v1_5, "pc-i440fx-1.5", pc_compat_1_5,
 727                       pc_i440fx_1_5_machine_options);
 728
 729 static void pc_i440fx_1_4_machine_options(MachineClass *m)
 730 {
 731     static GlobalProperty compat[] = {
 732         PC_COMPAT_1_4
 733     };
 734
 735     pc_i440fx_1_5_machine_options(m);
 736     m->hw_version = "1.4.0";
 737     m->hot_add_cpu = NULL;
 738     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 739 }
 740
 741 DEFINE_I440FX_MACHINE(v1_4, "pc-i440fx-1.4", pc_compat_1_4,
 742                       pc_i440fx_1_4_machine_options);
 743
 744 static void pc_i440fx_1_3_machine_options(MachineClass *m)
 745 {
 746     static GlobalProperty compat[] = {
 747         PC_CPU_MODEL_IDS("1.3.0")
 748         {
 749             .driver   = "usb-tablet",
 750             .property = "usb_version",
 751             .value    = stringify(1),
 752         },{
 753             .driver   = "virtio-net-pci",
 754             .property = "ctrl_mac_addr",
 755             .value    = "off",
 756         },{
 757             .driver   = "virtio-net-pci",
 758             .property = "mq",
 759             .value    = "off",
 760         }, {
 761             .driver   = "e1000",
 762             .property = "autonegotiation",
 763             .value    = "off",
 764         },
 765     };
 766
 767     pc_i440fx_1_4_machine_options(m);
 768     m->hw_version = "1.3.0";
 769     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 770 }
 771
 772 DEFINE_I440FX_MACHINE(v1_3, "pc-1.3", pc_compat_1_3,
 773                       pc_i440fx_1_3_machine_options);
 774
 775
 776 static void pc_i440fx_1_2_machine_options(MachineClass *m)
 777 {
 778     static GlobalProperty compat[] = {
 779         PC_CPU_MODEL_IDS("1.2.0")
 780         {
 781             .driver   = "nec-usb-xhci",
 782             .property = "msi",
 783             .value    = "off",
 784         },{
 785             .driver   = "nec-usb-xhci",
 786             .property = "msix",
 787             .value    = "off",
 788         },{
 789             .driver   = "ivshmem",
 790             .property = "use64",
 791             .value    = "0",
 792         },{
 793             .driver   = "qxl",
 794             .property = "revision",
 795             .value    = stringify(3),
 796         },{
 797             .driver   = "qxl-vga",
 798             .property = "revision",
 799             .value    = stringify(3),
 800         },{
 801             .driver   = "VGA",
 802             .property = "mmio",
 803             .value    = "off",
 804         },
 805     };
 806
 807     pc_i440fx_1_3_machine_options(m);
 808     m->hw_version = "1.2.0";
 809     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 810 }
 811
 812 DEFINE_I440FX_MACHINE(v1_2, "pc-1.2", pc_compat_1_2,
 813                       pc_i440fx_1_2_machine_options);
 814
 815
 816 static void pc_i440fx_1_1_machine_options(MachineClass *m)
 817 {
 818     static GlobalProperty compat[] = {
 819         PC_CPU_MODEL_IDS("1.1.0")
 820         {
 821             .driver   = "virtio-scsi-pci",
 822             .property = "hotplug",
 823             .value    = "off",
 824         },{
 825             .driver   = "virtio-scsi-pci",
 826             .property = "param_change",
 827             .value    = "off",
 828         },{
 829             .driver   = "VGA",
 830             .property = "vgamem_mb",
 831             .value    = stringify(8),
 832         },{
 833             .driver   = "vmware-svga",
 834             .property = "vgamem_mb",
 835             .value    = stringify(8),
 836         },{
 837             .driver   = "qxl-vga",
 838             .property = "vgamem_mb",
 839             .value    = stringify(8),
 840         },{
 841             .driver   = "qxl",
 842             .property = "vgamem_mb",
 843             .value    = stringify(8),
 844         },{
 845             .driver   = "virtio-blk-pci",
 846             .property = "config-wce",
 847             .value    = "off",
 848         },
 849     };
 850
 851     pc_i440fx_1_2_machine_options(m);
 852     m->hw_version = "1.1.0";
 853     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 854 }
 855
 856 DEFINE_I440FX_MACHINE(v1_1, "pc-1.1", pc_compat_1_2,
 857                       pc_i440fx_1_1_machine_options);
 858
 859 static void pc_i440fx_1_0_machine_options(MachineClass *m)
 860 {
 861     static GlobalProperty compat[] = {
 862         PC_CPU_MODEL_IDS("1.0")
 863         {
 864             .driver   = TYPE_ISA_FDC,
 865             .property = "check_media_rate",
 866             .value    = "off",
 867         },{
 868             .driver   = "virtio-balloon-pci",
 869             .property = "class",
 870             .value    = stringify(PCI_CLASS_MEMORY_RAM),
 871         },{
 872             .driver   = "apic-common",
 873             .property = "vapic",
 874             .value    = "off",
 875         },{
 876             .driver   = TYPE_USB_DEVICE,
 877             .property = "full-path",
 878             .value    = "no",
 879         },
 880     };
 881
 882     pc_i440fx_1_1_machine_options(m);
 883     m->hw_version = "1.0";
 884     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 885 }
 886
 887 DEFINE_I440FX_MACHINE(v1_0, "pc-1.0", pc_compat_1_2,
 888                       pc_i440fx_1_0_machine_options);
 889
 890
 891 static void pc_i440fx_0_15_machine_options(MachineClass *m)
 892 {
 893     static GlobalProperty compat[] = {
 894         PC_CPU_MODEL_IDS("0.15")
 895     };
 896
 897     pc_i440fx_1_0_machine_options(m);
 898     m->hw_version = "0.15";
 899     m->deprecation_reason = "use a newer machine type instead";
 900     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 901 }
 902
 903 DEFINE_I440FX_MACHINE(v0_15, "pc-0.15", pc_compat_1_2,
 904                       pc_i440fx_0_15_machine_options);
 905
 906
 907 static void pc_i440fx_0_14_machine_options(MachineClass *m)
 908 {
 909     static GlobalProperty compat[] = {
 910         PC_CPU_MODEL_IDS("0.14")
 911         {
 912             .driver   = "virtio-blk-pci",
 913             .property = "event_idx",
 914             .value    = "off",
 915         },{
 916             .driver   = "virtio-serial-pci",
 917             .property = "event_idx",
 918             .value    = "off",
 919         },{
 920             .driver   = "virtio-net-pci",
 921             .property = "event_idx",
 922             .value    = "off",
 923         },{
 924             .driver   = "virtio-balloon-pci",
 925             .property = "event_idx",
 926             .value    = "off",
 927         },{
 928             .driver   = "qxl",
 929             .property = "revision",
 930             .value    = stringify(2),
 931         },{
 932             .driver   = "qxl-vga",
 933             .property = "revision",
 934             .value    = stringify(2),
 935         },
 936     };
 937
 938     pc_i440fx_0_15_machine_options(m);
 939     m->hw_version = "0.14";
 940     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 941 }
 942
 943 DEFINE_I440FX_MACHINE(v0_14, "pc-0.14", pc_compat_1_2,
 944                       pc_i440fx_0_14_machine_options);
 945
 946 static void pc_i440fx_0_13_machine_options(MachineClass *m)
 947 {
 948     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
 949     static GlobalProperty compat[] = {
 950         PC_CPU_MODEL_IDS("0.13")
 951         {
 952             .driver   = TYPE_PCI_DEVICE,
 953             .property = "command_serr_enable",
 954             .value    = "off",
 955         },{
 956             .driver   = "AC97",
 957             .property = "use_broken_id",
 958             .value    = stringify(1),
 959         },{
 960             .driver   = "virtio-9p-pci",
 961             .property = "vectors",
 962             .value    = stringify(0),
 963         },{
 964             .driver   = "VGA",
 965             .property = "rombar",
 966             .value    = stringify(0),
 967         },{
 968             .driver   = "vmware-svga",
 969             .property = "rombar",
 970             .value    = stringify(0),
 971         },
 972     };
 973
 974     pc_i440fx_0_14_machine_options(m);
 975     m->hw_version = "0.13";
 976     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
 977     pcmc->kvmclock_enabled = false;
 978 }
 979
 980 DEFINE_I440FX_MACHINE(v0_13, "pc-0.13", pc_compat_0_13,
 981                       pc_i440fx_0_13_machine_options);
 982
 983 static void pc_i440fx_0_12_machine_options(MachineClass *m)
 984 {
 985     static GlobalProperty compat[] = {
 986         PC_CPU_MODEL_IDS("0.12")
 987         {
 988             .driver   = "virtio-serial-pci",
 989             .property = "max_ports",
 990             .value    = stringify(1),
 991         },{
 992             .driver   = "virtio-serial-pci",
 993             .property = "vectors",
 994             .value    = stringify(0),
 995         },{
 996             .driver   = "usb-mouse",
 997             .property = "serial",
 998             .value    = "1",
 999         },{
1000             .driver   = "usb-tablet",
1001             .property = "serial",
1002             .value    = "1",
1003         },{
1004             .driver   = "usb-kbd",
1005             .property = "serial",
1006             .value    = "1",
1007         },
1008     };
1009
1010     pc_i440fx_0_13_machine_options(m);
1011     m->hw_version = "0.12";
1012     compat_props_add(m->compat_props, compat, G_N_ELEMENTS(compat));
1013 }
1014
1015 DEFINE_I440FX_MACHINE(v0_12, "pc-0.12", pc_compat_0_13,
1016                       pc_i440fx_0_12_machine_options);
1017
1018 typedef struct {
1019     uint16_t gpu_device_id;
1020     uint16_t pch_device_id;
1021     uint8_t pch_revision_id;
1022 } IGDDeviceIDInfo;
1023
1024 /* In real world different GPU should have different PCH. But actually
1025  * the different PCH DIDs likely map to different PCH SKUs. We do the
1026  * same thing for the GPU. For PCH, the different SKUs are going to be
1027  * all the same silicon design and implementation, just different
1028  * features turn on and off with fuses. The SW interfaces should be
1029  * consistent across all SKUs in a given family (eg LPT). But just same
1030  * features may not be supported.
1031  *
1032  * Most of these different PCH features probably don't matter to the
1033  * Gfx driver, but obviously any difference in display port connections
1034  * will so it should be fine with any PCH in case of passthrough.
1035  *
1036  * So currently use one PCH version, 0x8c4e, to cover all HSW(Haswell)
1037  * scenarios, 0x9cc3 for BDW(Broadwell).
1038  */
1039 static const IGDDeviceIDInfo igd_combo_id_infos[] = {
1040     /* HSW Classic */
1041     {0x0402, 0x8c4e, 0x04}, /* HSWGT1D, HSWD_w7 */
1042     {0x0406, 0x8c4e, 0x04}, /* HSWGT1M, HSWM_w7 */
1043     {0x0412, 0x8c4e, 0x04}, /* HSWGT2D, HSWD_w7 */
1044     {0x0416, 0x8c4e, 0x04}, /* HSWGT2M, HSWM_w7 */
1045     {0x041E, 0x8c4e, 0x04}, /* HSWGT15D, HSWD_w7 */
1046     /* HSW ULT */
1047     {0x0A06, 0x8c4e, 0x04}, /* HSWGT1UT, HSWM_w7 */
1048     {0x0A16, 0x8c4e, 0x04}, /* HSWGT2UT, HSWM_w7 */
1049     {0x0A26, 0x8c4e, 0x06}, /* HSWGT3UT, HSWM_w7 */
1050     {0x0A2E, 0x8c4e, 0x04}, /* HSWGT3UT28W, HSWM_w7 */
1051     {0x0A1E, 0x8c4e, 0x04}, /* HSWGT2UX, HSWM_w7 */
1052     {0x0A0E, 0x8c4e, 0x04}, /* HSWGT1ULX, HSWM_w7 */
1053     /* HSW CRW */
1054     {0x0D26, 0x8c4e, 0x04}, /* HSWGT3CW, HSWM_w7 */
1055     {0x0D22, 0x8c4e, 0x04}, /* HSWGT3CWDT, HSWD_w7 */
1056     /* HSW Server */
1057     {0x041A, 0x8c4e, 0x04}, /* HSWSVGT2, HSWD_w7 */
1058     /* HSW SRVR */
1059     {0x040A, 0x8c4e, 0x04}, /* HSWSVGT1, HSWD_w7 */
1060     /* BSW */
1061     {0x1606, 0x9cc3, 0x03}, /* BDWULTGT1, BDWM_w7 */
1062     {0x1616, 0x9cc3, 0x03}, /* BDWULTGT2, BDWM_w7 */
1063     {0x1626, 0x9cc3, 0x03}, /* BDWULTGT3, BDWM_w7 */
1064     {0x160E, 0x9cc3, 0x03}, /* BDWULXGT1, BDWM_w7 */
1065     {0x161E, 0x9cc3, 0x03}, /* BDWULXGT2, BDWM_w7 */
1066     {0x1602, 0x9cc3, 0x03}, /* BDWHALOGT1, BDWM_w7 */
1067     {0x1612, 0x9cc3, 0x03}, /* BDWHALOGT2, BDWM_w7 */
1068     {0x1622, 0x9cc3, 0x03}, /* BDWHALOGT3, BDWM_w7 */
1069     {0x162B, 0x9cc3, 0x03}, /* BDWHALO28W, BDWM_w7 */
1070     {0x162A, 0x9cc3, 0x03}, /* BDWGT3WRKS, BDWM_w7 */
1071     {0x162D, 0x9cc3, 0x03}, /* BDWGT3SRVR, BDWM_w7 */
1072 };
1073
1074 static void isa_bridge_class_init(ObjectClass *klass, void *data)
1075 {
1076     DeviceClass *dc = DEVICE_CLASS(klass);
1077     PCIDeviceClass *k = PCI_DEVICE_CLASS(klass);
1078
1079     dc->desc        = "ISA bridge faked to support IGD PT";
1080     k->vendor_id    = PCI_VENDOR_ID_INTEL;
1081     k->class_id     = PCI_CLASS_BRIDGE_ISA;
1082 };
1083
1084 static TypeInfo isa_bridge_info = {
1085     .name          = "igd-passthrough-isa-bridge",
1086     .parent        = TYPE_PCI_DEVICE,
1087     .instance_size = sizeof(PCIDevice),
1088     .class_init = isa_bridge_class_init,
1089     .interfaces = (InterfaceInfo[]) {
1090         { INTERFACE_CONVENTIONAL_PCI_DEVICE },
1091         { },
1092     },
1093 };
1094
1095 static void pt_graphics_register_types(void)
1096 {
1097     type_register_static(&isa_bridge_info);
1098 }
1099 type_init(pt_graphics_register_types)
1100
1101 void igd_passthrough_isa_bridge_create(PCIBus *bus, uint16_t gpu_dev_id)
1102 {
1103     struct PCIDevice *bridge_dev;
1104     int i, num;
1105     uint16_t pch_dev_id = 0xffff;
1106     uint8_t pch_rev_id;
1107
1108     num = ARRAY_SIZE(igd_combo_id_infos);
1109     for (i = 0; i < num; i++) {
1110         if (gpu_dev_id == igd_combo_id_infos[i].gpu_device_id) {
1111             pch_dev_id = igd_combo_id_infos[i].pch_device_id;
1112             pch_rev_id = igd_combo_id_infos[i].pch_revision_id;
1113         }
1114     }
1115
1116     if (pch_dev_id == 0xffff) {
1117         return;
1118     }
1119
1120     /* Currently IGD drivers always need to access PCH by 1f.0. */
1121     bridge_dev = pci_create_simple(bus, PCI_DEVFN(0x1f, 0),
1122                                    "igd-passthrough-isa-bridge");
1123
1124     /*
1125      * Note that vendor id is always PCI_VENDOR_ID_INTEL.
1126      */
1127     if (!bridge_dev) {
1128         fprintf(stderr, "set igd-passthrough-isa-bridge failed!\n");
1129         return;
1130     }
1131     pci_config_set_device_id(bridge_dev->config, pch_dev_id);
1132     pci_config_set_revision(bridge_dev->config, pch_rev_id);
1133 }
1134
1135 static void isapc_machine_options(MachineClass *m)
1136 {
1137     PCMachineClass *pcmc = PC_MACHINE_CLASS(m);
1138     m->desc = "ISA-only PC";
1139     m->max_cpus = 1;
1140     m->option_rom_has_mr = true;
1141     m->rom_file_has_mr = false;
1142     pcmc->pci_enabled = false;
1143     pcmc->has_acpi_build = false;
1144     pcmc->smbios_defaults = false;
1145     pcmc->gigabyte_align = false;
1146     pcmc->smbios_legacy_mode = true;
1147     pcmc->has_reserved_memory = false;
1148     pcmc->default_nic_model = "ne2k_isa";
1149     m->default_cpu_type = X86_CPU_TYPE_NAME("486");
1150 }
1151
1152 DEFINE_PC_MACHINE(isapc, "isapc", pc_init_isa,
1153                   isapc_machine_options);
1154
1155
1156 #ifdef CONFIG_XEN
1157 static void xenfv_machine_options(MachineClass *m)
1158 {
1159     m->desc = "Xen Fully-virtualized PC";
1160     m->max_cpus = HVM_MAX_VCPUS;
1161     m->default_machine_opts = "accel=xen";
1162 }
1163
1164 DEFINE_PC_MACHINE(xenfv, "xenfv", pc_xen_hvm_init,
1165                   xenfv_machine_options);
1166 #endif