hw/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 <glib.h>
  26
  27 #include "hw.h"
  28 #include "pc.h"
  29 #include "apic.h"
  30 #include "pci/pci.h"
  31 #include "pci/pci_ids.h"
  32 #include "usb.h"
  33 #include "net/net.h"
  34 #include "boards.h"
  35 #include "ide.h"
  36 #include "sysemu/kvm.h"
  37 #include "kvm/clock.h"
  38 #include "sysemu/sysemu.h"
  39 #include "sysbus.h"
  40 #include "sysemu/arch_init.h"
  41 #include "sysemu/blockdev.h"
  42 #include "smbus.h"
  43 #include "xen.h"
  44 #include "exec/memory.h"
  45 #include "exec/address-spaces.h"
  46 #include "cpu.h"
  47 #ifdef CONFIG_XEN
  48 #  include <xen/hvm/hvm_info_table.h>
  49 #endif
  50
  51 #define MAX_IDE_BUS 2
  52
  53 static const int ide_iobase[MAX_IDE_BUS] = { 0x1f0, 0x170 };
  54 static const int ide_iobase2[MAX_IDE_BUS] = { 0x3f6, 0x376 };
  55 static const int ide_irq[MAX_IDE_BUS] = { 14, 15 };
  56
  57 /* PC hardware initialisation */
  58 static void pc_init1(MemoryRegion *system_memory,
  59                      MemoryRegion *system_io,
  60                      ram_addr_t ram_size,
  61                      const char *boot_device,
  62                      const char *kernel_filename,
  63                      const char *kernel_cmdline,
  64                      const char *initrd_filename,
  65                      const char *cpu_model,
  66                      int pci_enabled,
  67                      int kvmclock_enabled)
  68 {
  69     int i;
  70     ram_addr_t below_4g_mem_size, above_4g_mem_size;
  71     PCIBus *pci_bus;
  72     ISABus *isa_bus;
  73     PCII440FXState *i440fx_state;
  74     int piix3_devfn = -1;
  75     qemu_irq *cpu_irq;
  76     qemu_irq *gsi;
  77     qemu_irq *i8259;
  78     qemu_irq *smi_irq;
  79     GSIState *gsi_state;
  80     DriveInfo *hd[MAX_IDE_BUS * MAX_IDE_DEVS];
  81     BusState *idebus[MAX_IDE_BUS];
  82     ISADevice *rtc_state;
  83     ISADevice *floppy;
  84     MemoryRegion *ram_memory;
  85     MemoryRegion *pci_memory;
  86     MemoryRegion *rom_memory;
  87     void *fw_cfg = NULL;
  88
  89     pc_cpus_init(cpu_model);
  90     pc_acpi_init("acpi-dsdt.aml");
  91
  92     if (kvmclock_enabled) {
  93         kvmclock_create();
  94     }
  95
  96     if (ram_size >= 0xe0000000 ) {
  97         above_4g_mem_size = ram_size - 0xe0000000;
  98         below_4g_mem_size = 0xe0000000;
  99     } else {
 100         above_4g_mem_size = 0;
 101         below_4g_mem_size = ram_size;
 102     }
 103
 104     if (pci_enabled) {
 105         pci_memory = g_new(MemoryRegion, 1);
 106         memory_region_init(pci_memory, "pci", INT64_MAX);
 107         rom_memory = pci_memory;
 108     } else {
 109         pci_memory = NULL;
 110         rom_memory = system_memory;
 111     }
 112
 113     /* allocate ram and load rom/bios */
 114     if (!xen_enabled()) {
 115         fw_cfg = pc_memory_init(system_memory,
 116                        kernel_filename, kernel_cmdline, initrd_filename,
 117                        below_4g_mem_size, above_4g_mem_size,
 118                        rom_memory, &ram_memory);
 119     }
 120
 121     gsi_state = g_malloc0(sizeof(*gsi_state));
 122     if (kvm_irqchip_in_kernel()) {
 123         kvm_pc_setup_irq_routing(pci_enabled);
 124         gsi = qemu_allocate_irqs(kvm_pc_gsi_handler, gsi_state,
 125                                  GSI_NUM_PINS);
 126     } else {
 127         gsi = qemu_allocate_irqs(gsi_handler, gsi_state, GSI_NUM_PINS);
 128     }
 129
 130     if (pci_enabled) {
 131         pci_bus = i440fx_init(&i440fx_state, &piix3_devfn, &isa_bus, gsi,
 132                               system_memory, system_io, ram_size,
 133                               below_4g_mem_size,
 134                               0x100000000ULL - below_4g_mem_size,
 135                               0x100000000ULL + above_4g_mem_size,
 136                               (sizeof(hwaddr) == 4
 137                                ? 0
 138                                : ((uint64_t)1 << 62)),
 139                               pci_memory, ram_memory);
 140     } else {
 141         pci_bus = NULL;
 142         i440fx_state = NULL;
 143         isa_bus = isa_bus_new(NULL, system_io);
 144         no_hpet = 1;
 145     }
 146     isa_bus_irqs(isa_bus, gsi);
 147
 148     if (kvm_irqchip_in_kernel()) {
 149         i8259 = kvm_i8259_init(isa_bus);
 150     } else if (xen_enabled()) {
 151         i8259 = xen_interrupt_controller_init();
 152     } else {
 153         cpu_irq = pc_allocate_cpu_irq();
 154         i8259 = i8259_init(isa_bus, cpu_irq[0]);
 155     }
 156
 157     for (i = 0; i < ISA_NUM_IRQS; i++) {
 158         gsi_state->i8259_irq[i] = i8259[i];
 159     }
 160     if (pci_enabled) {
 161         ioapic_init_gsi(gsi_state, "i440fx");
 162     }
 163
 164     pc_register_ferr_irq(gsi[13]);
 165
 166     pc_vga_init(isa_bus, pci_enabled ? pci_bus : NULL);
 167     if (xen_enabled()) {
 168         pci_create_simple(pci_bus, -1, "xen-platform");
 169     }
 170
 171     /* init basic PC hardware */
 172     pc_basic_device_init(isa_bus, gsi, &rtc_state, &floppy, xen_enabled());
 173
 174     pc_nic_init(isa_bus, pci_bus);
 175
 176     ide_drive_get(hd, MAX_IDE_BUS);
 177     if (pci_enabled) {
 178         PCIDevice *dev;
 179         if (xen_enabled()) {
 180             dev = pci_piix3_xen_ide_init(pci_bus, hd, piix3_devfn + 1);
 181         } else {
 182             dev = pci_piix3_ide_init(pci_bus, hd, piix3_devfn + 1);
 183         }
 184         idebus[0] = qdev_get_child_bus(&dev->qdev, "ide.0");
 185         idebus[1] = qdev_get_child_bus(&dev->qdev, "ide.1");
 186     } else {
 187         for(i = 0; i < MAX_IDE_BUS; i++) {
 188             ISADevice *dev;
 189             dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i],
 190                                ide_irq[i],
 191                                hd[MAX_IDE_DEVS * i], hd[MAX_IDE_DEVS * i + 1]);
 192             idebus[i] = qdev_get_child_bus(&dev->qdev, "ide.0");
 193         }
 194     }
 195
 196     audio_init(isa_bus, pci_enabled ? pci_bus : NULL);
 197
 198     pc_cmos_init(below_4g_mem_size, above_4g_mem_size, boot_device,
 199                  floppy, idebus[0], idebus[1], rtc_state);
 200
 201     if (pci_enabled && usb_enabled(false)) {
 202         pci_create_simple(pci_bus, piix3_devfn + 2, "piix3-usb-uhci");
 203     }
 204
 205     if (pci_enabled && acpi_enabled) {
 206         i2c_bus *smbus;
 207
 208         smi_irq = qemu_allocate_irqs(pc_acpi_smi_interrupt, first_cpu, 1);
 209         /* TODO: Populate SPD eeprom data.  */
 210         smbus = piix4_pm_init(pci_bus, piix3_devfn + 3, 0xb100,
 211                               gsi[9], *smi_irq,
 212                               kvm_enabled(), fw_cfg);
 213         smbus_eeprom_init(smbus, 8, NULL, 0);
 214     }
 215
 216     if (pci_enabled) {
 217         pc_pci_device_init(pci_bus);
 218     }
 219 }
 220
 221 static void pc_init_pci(QEMUMachineInitArgs *args)
 222 {
 223     ram_addr_t ram_size = args->ram_size;
 224     const char *cpu_model = args->cpu_model;
 225     const char *kernel_filename = args->kernel_filename;
 226     const char *kernel_cmdline = args->kernel_cmdline;
 227     const char *initrd_filename = args->initrd_filename;
 228     const char *boot_device = args->boot_device;
 229     pc_init1(get_system_memory(),
 230              get_system_io(),
 231              ram_size, boot_device,
 232              kernel_filename, kernel_cmdline,
 233              initrd_filename, cpu_model, 1, 1);
 234 }
 235
 236 static void pc_init_pci_1_3(QEMUMachineInitArgs *args)
 237 {
 238     enable_compat_apic_id_mode();
 239     pc_init_pci(args);
 240 }
 241
 242 /* PC machine init function for pc-0.14 to pc-1.2 */
 243 static void pc_init_pci_1_2(QEMUMachineInitArgs *args)
 244 {
 245     disable_kvm_pv_eoi();
 246     pc_init_pci_1_3(args);
 247 }
 248
 249 /* PC init function for pc-0.10 to pc-0.13, and reused by xenfv */
 250 static void pc_init_pci_no_kvmclock(QEMUMachineInitArgs *args)
 251 {
 252     ram_addr_t ram_size = args->ram_size;
 253     const char *cpu_model = args->cpu_model;
 254     const char *kernel_filename = args->kernel_filename;
 255     const char *kernel_cmdline = args->kernel_cmdline;
 256     const char *initrd_filename = args->initrd_filename;
 257     const char *boot_device = args->boot_device;
 258     disable_kvm_pv_eoi();
 259     enable_compat_apic_id_mode();
 260     pc_init1(get_system_memory(),
 261              get_system_io(),
 262              ram_size, boot_device,
 263              kernel_filename, kernel_cmdline,
 264              initrd_filename, cpu_model, 1, 0);
 265 }
 266
 267 static void pc_init_isa(QEMUMachineInitArgs *args)
 268 {
 269     ram_addr_t ram_size = args->ram_size;
 270     const char *cpu_model = args->cpu_model;
 271     const char *kernel_filename = args->kernel_filename;
 272     const char *kernel_cmdline = args->kernel_cmdline;
 273     const char *initrd_filename = args->initrd_filename;
 274     const char *boot_device = args->boot_device;
 275     if (cpu_model == NULL)
 276         cpu_model = "486";
 277     disable_kvm_pv_eoi();
 278     enable_compat_apic_id_mode();
 279     pc_init1(get_system_memory(),
 280              get_system_io(),
 281              ram_size, boot_device,
 282              kernel_filename, kernel_cmdline,
 283              initrd_filename, cpu_model, 0, 1);
 284 }
 285
 286 #ifdef CONFIG_XEN
 287 static void pc_xen_hvm_init(QEMUMachineInitArgs *args)
 288 {
 289     if (xen_hvm_init() != 0) {
 290         hw_error("xen hardware virtual machine initialisation failed");
 291     }
 292     pc_init_pci_no_kvmclock(args);
 293     xen_vcpu_init();
 294 }
 295 #endif
 296
 297 static QEMUMachine pc_i440fx_machine_v1_4 = {
 298     .name = "pc-i440fx-1.4",
 299     .alias = "pc",
 300     .desc = "Standard PC (i440FX + PIIX, 1996)",
 301     .init = pc_init_pci,
 302     .max_cpus = 255,
 303     .is_default = 1,
 304     DEFAULT_MACHINE_OPTIONS,
 305 };
 306
 307 #define PC_COMPAT_1_3 \
 308         {\
 309             .driver   = "usb-tablet",\
 310             .property = "usb_version",\
 311             .value    = stringify(1),\
 312         },{\
 313             .driver   = "virtio-net-pci",\
 314             .property = "ctrl_mac_addr",\
 315             .value    = "off",      \
 316         },{ \
 317             .driver   = "virtio-net-pci", \
 318             .property = "mq", \
 319             .value    = "off", \
 320         }
 321
 322 static QEMUMachine pc_machine_v1_3 = {
 323     .name = "pc-1.3",
 324     .desc = "Standard PC",
 325     .init = pc_init_pci_1_3,
 326     .max_cpus = 255,
 327     .compat_props = (GlobalProperty[]) {
 328         PC_COMPAT_1_3,
 329         { /* end of list */ }
 330     },
 331     DEFAULT_MACHINE_OPTIONS,
 332 };
 333
 334 #define PC_COMPAT_1_2 \
 335         PC_COMPAT_1_3,\
 336         {\
 337             .driver   = "nec-usb-xhci",\
 338             .property = "msi",\
 339             .value    = "off",\
 340         },{\
 341             .driver   = "nec-usb-xhci",\
 342             .property = "msix",\
 343             .value    = "off",\
 344         },{\
 345             .driver   = "ivshmem",\
 346             .property = "use64",\
 347             .value    = "0",\
 348         },{\
 349             .driver   = "qxl",\
 350             .property = "revision",\
 351             .value    = stringify(3),\
 352         },{\
 353             .driver   = "qxl-vga",\
 354             .property = "revision",\
 355             .value    = stringify(3),\
 356         },{\
 357             .driver   = "VGA",\
 358             .property = "mmio",\
 359             .value    = "off",\
 360         }
 361
 362 static QEMUMachine pc_machine_v1_2 = {
 363     .name = "pc-1.2",
 364     .desc = "Standard PC",
 365     .init = pc_init_pci_1_2,
 366     .max_cpus = 255,
 367     .compat_props = (GlobalProperty[]) {
 368         PC_COMPAT_1_2,
 369         { /* end of list */ }
 370     },
 371     DEFAULT_MACHINE_OPTIONS,
 372 };
 373
 374 #define PC_COMPAT_1_1 \
 375         PC_COMPAT_1_2,\
 376         {\
 377             .driver   = "virtio-scsi-pci",\
 378             .property = "hotplug",\
 379             .value    = "off",\
 380         },{\
 381             .driver   = "virtio-scsi-pci",\
 382             .property = "param_change",\
 383             .value    = "off",\
 384         },{\
 385             .driver   = "VGA",\
 386             .property = "vgamem_mb",\
 387             .value    = stringify(8),\
 388         },{\
 389             .driver   = "vmware-svga",\
 390             .property = "vgamem_mb",\
 391             .value    = stringify(8),\
 392         },{\
 393             .driver   = "qxl-vga",\
 394             .property = "vgamem_mb",\
 395             .value    = stringify(8),\
 396         },{\
 397             .driver   = "qxl",\
 398             .property = "vgamem_mb",\
 399             .value    = stringify(8),\
 400         },{\
 401             .driver   = "virtio-blk-pci",\
 402             .property = "config-wce",\
 403             .value    = "off",\
 404         }
 405
 406 static QEMUMachine pc_machine_v1_1 = {
 407     .name = "pc-1.1",
 408     .desc = "Standard PC",
 409     .init = pc_init_pci_1_2,
 410     .max_cpus = 255,
 411     .compat_props = (GlobalProperty[]) {
 412         PC_COMPAT_1_1,
 413         { /* end of list */ }
 414     },
 415     DEFAULT_MACHINE_OPTIONS,
 416 };
 417
 418 #define PC_COMPAT_1_0 \
 419         PC_COMPAT_1_1,\
 420         {\
 421             .driver   = "pc-sysfw",\
 422             .property = "rom_only",\
 423             .value    = stringify(1),\
 424         }, {\
 425             .driver   = "isa-fdc",\
 426             .property = "check_media_rate",\
 427             .value    = "off",\
 428         }, {\
 429             .driver   = "virtio-balloon-pci",\
 430             .property = "class",\
 431             .value    = stringify(PCI_CLASS_MEMORY_RAM),\
 432         },{\
 433             .driver   = "apic",\
 434             .property = "vapic",\
 435             .value    = "off",\
 436         },{\
 437             .driver   = TYPE_USB_DEVICE,\
 438             .property = "full-path",\
 439             .value    = "no",\
 440         }
 441
 442 static QEMUMachine pc_machine_v1_0 = {
 443     .name = "pc-1.0",
 444     .desc = "Standard PC",
 445     .init = pc_init_pci_1_2,
 446     .max_cpus = 255,
 447     .compat_props = (GlobalProperty[]) {
 448         PC_COMPAT_1_0,
 449         { /* end of list */ }
 450     },
 451     .hw_version = "1.0",
 452     DEFAULT_MACHINE_OPTIONS,
 453 };
 454
 455 #define PC_COMPAT_0_15 \
 456         PC_COMPAT_1_0
 457
 458 static QEMUMachine pc_machine_v0_15 = {
 459     .name = "pc-0.15",
 460     .desc = "Standard PC",
 461     .init = pc_init_pci_1_2,
 462     .max_cpus = 255,
 463     .compat_props = (GlobalProperty[]) {
 464         PC_COMPAT_0_15,
 465         { /* end of list */ }
 466     },
 467     .hw_version = "0.15",
 468     DEFAULT_MACHINE_OPTIONS,
 469 };
 470
 471 #define PC_COMPAT_0_14 \
 472         PC_COMPAT_0_15,\
 473         {\
 474             .driver   = "virtio-blk-pci",\
 475             .property = "event_idx",\
 476             .value    = "off",\
 477         },{\
 478             .driver   = "virtio-serial-pci",\
 479             .property = "event_idx",\
 480             .value    = "off",\
 481         },{\
 482             .driver   = "virtio-net-pci",\
 483             .property = "event_idx",\
 484             .value    = "off",\
 485         },{\
 486             .driver   = "virtio-balloon-pci",\
 487             .property = "event_idx",\
 488             .value    = "off",\
 489         }
 490
 491 static QEMUMachine pc_machine_v0_14 = {
 492     .name = "pc-0.14",
 493     .desc = "Standard PC",
 494     .init = pc_init_pci_1_2,
 495     .max_cpus = 255,
 496     .compat_props = (GlobalProperty[]) {
 497         PC_COMPAT_0_14,
 498         {
 499             .driver   = "qxl",
 500             .property = "revision",
 501             .value    = stringify(2),
 502         },{
 503             .driver   = "qxl-vga",
 504             .property = "revision",
 505             .value    = stringify(2),
 506         },
 507         { /* end of list */ }
 508     },
 509     .hw_version = "0.14",
 510     DEFAULT_MACHINE_OPTIONS,
 511 };
 512
 513 #define PC_COMPAT_0_13 \
 514         PC_COMPAT_0_14,\
 515         {\
 516             .driver   = TYPE_PCI_DEVICE,\
 517             .property = "command_serr_enable",\
 518             .value    = "off",\
 519         },{\
 520             .driver   = "AC97",\
 521             .property = "use_broken_id",\
 522             .value    = stringify(1),\
 523         }
 524
 525 static QEMUMachine pc_machine_v0_13 = {
 526     .name = "pc-0.13",
 527     .desc = "Standard PC",
 528     .init = pc_init_pci_no_kvmclock,
 529     .max_cpus = 255,
 530     .compat_props = (GlobalProperty[]) {
 531         PC_COMPAT_0_13,
 532         {
 533             .driver   = "virtio-9p-pci",
 534             .property = "vectors",
 535             .value    = stringify(0),
 536         },{
 537             .driver   = "VGA",
 538             .property = "rombar",
 539             .value    = stringify(0),
 540         },{
 541             .driver   = "vmware-svga",
 542             .property = "rombar",
 543             .value    = stringify(0),
 544         },
 545         { /* end of list */ }
 546     },
 547     .hw_version = "0.13",
 548     DEFAULT_MACHINE_OPTIONS,
 549 };
 550
 551 #define PC_COMPAT_0_12 \
 552         PC_COMPAT_0_13,\
 553         {\
 554             .driver   = "virtio-serial-pci",\
 555             .property = "max_ports",\
 556             .value    = stringify(1),\
 557         },{\
 558             .driver   = "virtio-serial-pci",\
 559             .property = "vectors",\
 560             .value    = stringify(0),\
 561         }
 562
 563 static QEMUMachine pc_machine_v0_12 = {
 564     .name = "pc-0.12",
 565     .desc = "Standard PC",
 566     .init = pc_init_pci_no_kvmclock,
 567     .max_cpus = 255,
 568     .compat_props = (GlobalProperty[]) {
 569         PC_COMPAT_0_12,
 570         {
 571             .driver   = "VGA",
 572             .property = "rombar",
 573             .value    = stringify(0),
 574         },{
 575             .driver   = "vmware-svga",
 576             .property = "rombar",
 577             .value    = stringify(0),
 578         },
 579         { /* end of list */ }
 580     },
 581     .hw_version = "0.12",
 582     DEFAULT_MACHINE_OPTIONS,
 583 };
 584
 585 #define PC_COMPAT_0_11 \
 586         PC_COMPAT_0_12,\
 587         {\
 588             .driver   = "virtio-blk-pci",\
 589             .property = "vectors",\
 590             .value    = stringify(0),\
 591         },{\
 592             .driver   = TYPE_PCI_DEVICE,\
 593             .property = "rombar",\
 594             .value    = stringify(0),\
 595         }
 596
 597 static QEMUMachine pc_machine_v0_11 = {
 598     .name = "pc-0.11",
 599     .desc = "Standard PC, qemu 0.11",
 600     .init = pc_init_pci_no_kvmclock,
 601     .max_cpus = 255,
 602     .compat_props = (GlobalProperty[]) {
 603         PC_COMPAT_0_11,
 604         {
 605             .driver   = "ide-drive",
 606             .property = "ver",
 607             .value    = "0.11",
 608         },{
 609             .driver   = "scsi-disk",
 610             .property = "ver",
 611             .value    = "0.11",
 612         },
 613         { /* end of list */ }
 614     },
 615     .hw_version = "0.11",
 616     DEFAULT_MACHINE_OPTIONS,
 617 };
 618
 619 static QEMUMachine pc_machine_v0_10 = {
 620     .name = "pc-0.10",
 621     .desc = "Standard PC, qemu 0.10",
 622     .init = pc_init_pci_no_kvmclock,
 623     .max_cpus = 255,
 624     .compat_props = (GlobalProperty[]) {
 625         PC_COMPAT_0_11,
 626         {
 627             .driver   = "virtio-blk-pci",
 628             .property = "class",
 629             .value    = stringify(PCI_CLASS_STORAGE_OTHER),
 630         },{
 631             .driver   = "virtio-serial-pci",
 632             .property = "class",
 633             .value    = stringify(PCI_CLASS_DISPLAY_OTHER),
 634         },{
 635             .driver   = "virtio-net-pci",
 636             .property = "vectors",
 637             .value    = stringify(0),
 638         },{
 639             .driver   = "ide-drive",
 640             .property = "ver",
 641             .value    = "0.10",
 642         },{
 643             .driver   = "scsi-disk",
 644             .property = "ver",
 645             .value    = "0.10",
 646         },
 647         { /* end of list */ }
 648     },
 649     .hw_version = "0.10",
 650     DEFAULT_MACHINE_OPTIONS,
 651 };
 652
 653 static QEMUMachine isapc_machine = {
 654     .name = "isapc",
 655     .desc = "ISA-only PC",
 656     .init = pc_init_isa,
 657     .max_cpus = 1,
 658     .compat_props = (GlobalProperty[]) {
 659         {
 660             .driver   = "pc-sysfw",
 661             .property = "rom_only",
 662             .value    = stringify(1),
 663         },
 664         { /* end of list */ }
 665     },
 666     DEFAULT_MACHINE_OPTIONS,
 667 };
 668
 669 #ifdef CONFIG_XEN
 670 static QEMUMachine xenfv_machine = {
 671     .name = "xenfv",
 672     .desc = "Xen Fully-virtualized PC",
 673     .init = pc_xen_hvm_init,
 674     .max_cpus = HVM_MAX_VCPUS,
 675     .default_machine_opts = "accel=xen",
 676     DEFAULT_MACHINE_OPTIONS,
 677 };
 678 #endif
 679
 680 static void pc_machine_init(void)
 681 {
 682     qemu_register_machine(&pc_i440fx_machine_v1_4);
 683     qemu_register_machine(&pc_machine_v1_3);
 684     qemu_register_machine(&pc_machine_v1_2);
 685     qemu_register_machine(&pc_machine_v1_1);
 686     qemu_register_machine(&pc_machine_v1_0);
 687     qemu_register_machine(&pc_machine_v0_15);
 688     qemu_register_machine(&pc_machine_v0_14);
 689     qemu_register_machine(&pc_machine_v0_13);
 690     qemu_register_machine(&pc_machine_v0_12);
 691     qemu_register_machine(&pc_machine_v0_11);
 692     qemu_register_machine(&pc_machine_v0_10);
 693     qemu_register_machine(&isapc_machine);
 694 #ifdef CONFIG_XEN
 695     qemu_register_machine(&xenfv_machine);
 696 #endif
 697 }
 698
 699 machine_init(pc_machine_init);