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
 318 static QEMUMachine pc_machine_v1_3 = {
 319     .name = "pc-1.3",
 320     .desc = "Standard PC",
 321     .init = pc_init_pci_1_3,
 322     .max_cpus = 255,
 323     .compat_props = (GlobalProperty[]) {
 324         PC_COMPAT_1_3,
 325         { /* end of list */ }
 326     },
 327     DEFAULT_MACHINE_OPTIONS,
 328 };
 329
 330 #define PC_COMPAT_1_2 \
 331         PC_COMPAT_1_3,\
 332         {\
 333             .driver   = "nec-usb-xhci",\
 334             .property = "msi",\
 335             .value    = "off",\
 336         },{\
 337             .driver   = "nec-usb-xhci",\
 338             .property = "msix",\
 339             .value    = "off",\
 340         },{\
 341             .driver   = "ivshmem",\
 342             .property = "use64",\
 343             .value    = "0",\
 344         },{\
 345             .driver   = "qxl",\
 346             .property = "revision",\
 347             .value    = stringify(3),\
 348         },{\
 349             .driver   = "qxl-vga",\
 350             .property = "revision",\
 351             .value    = stringify(3),\
 352         },{\
 353             .driver   = "VGA",\
 354             .property = "mmio",\
 355             .value    = "off",\
 356         }
 357
 358 static QEMUMachine pc_machine_v1_2 = {
 359     .name = "pc-1.2",
 360     .desc = "Standard PC",
 361     .init = pc_init_pci_1_2,
 362     .max_cpus = 255,
 363     .compat_props = (GlobalProperty[]) {
 364         PC_COMPAT_1_2,
 365         { /* end of list */ }
 366     },
 367     DEFAULT_MACHINE_OPTIONS,
 368 };
 369
 370 #define PC_COMPAT_1_1 \
 371         PC_COMPAT_1_2,\
 372         {\
 373             .driver   = "virtio-scsi-pci",\
 374             .property = "hotplug",\
 375             .value    = "off",\
 376         },{\
 377             .driver   = "virtio-scsi-pci",\
 378             .property = "param_change",\
 379             .value    = "off",\
 380         },{\
 381             .driver   = "VGA",\
 382             .property = "vgamem_mb",\
 383             .value    = stringify(8),\
 384         },{\
 385             .driver   = "vmware-svga",\
 386             .property = "vgamem_mb",\
 387             .value    = stringify(8),\
 388         },{\
 389             .driver   = "qxl-vga",\
 390             .property = "vgamem_mb",\
 391             .value    = stringify(8),\
 392         },{\
 393             .driver   = "qxl",\
 394             .property = "vgamem_mb",\
 395             .value    = stringify(8),\
 396         },{\
 397             .driver   = "virtio-blk-pci",\
 398             .property = "config-wce",\
 399             .value    = "off",\
 400         }
 401
 402 static QEMUMachine pc_machine_v1_1 = {
 403     .name = "pc-1.1",
 404     .desc = "Standard PC",
 405     .init = pc_init_pci_1_2,
 406     .max_cpus = 255,
 407     .compat_props = (GlobalProperty[]) {
 408         PC_COMPAT_1_1,
 409         { /* end of list */ }
 410     },
 411     DEFAULT_MACHINE_OPTIONS,
 412 };
 413
 414 #define PC_COMPAT_1_0 \
 415         PC_COMPAT_1_1,\
 416         {\
 417             .driver   = "pc-sysfw",\
 418             .property = "rom_only",\
 419             .value    = stringify(1),\
 420         }, {\
 421             .driver   = "isa-fdc",\
 422             .property = "check_media_rate",\
 423             .value    = "off",\
 424         }, {\
 425             .driver   = "virtio-balloon-pci",\
 426             .property = "class",\
 427             .value    = stringify(PCI_CLASS_MEMORY_RAM),\
 428         },{\
 429             .driver   = "apic",\
 430             .property = "vapic",\
 431             .value    = "off",\
 432         },{\
 433             .driver   = TYPE_USB_DEVICE,\
 434             .property = "full-path",\
 435             .value    = "no",\
 436         }
 437
 438 static QEMUMachine pc_machine_v1_0 = {
 439     .name = "pc-1.0",
 440     .desc = "Standard PC",
 441     .init = pc_init_pci_1_2,
 442     .max_cpus = 255,
 443     .compat_props = (GlobalProperty[]) {
 444         PC_COMPAT_1_0,
 445         { /* end of list */ }
 446     },
 447     .hw_version = "1.0",
 448     DEFAULT_MACHINE_OPTIONS,
 449 };
 450
 451 #define PC_COMPAT_0_15 \
 452         PC_COMPAT_1_0
 453
 454 static QEMUMachine pc_machine_v0_15 = {
 455     .name = "pc-0.15",
 456     .desc = "Standard PC",
 457     .init = pc_init_pci_1_2,
 458     .max_cpus = 255,
 459     .compat_props = (GlobalProperty[]) {
 460         PC_COMPAT_0_15,
 461         { /* end of list */ }
 462     },
 463     .hw_version = "0.15",
 464     DEFAULT_MACHINE_OPTIONS,
 465 };
 466
 467 #define PC_COMPAT_0_14 \
 468         PC_COMPAT_0_15,\
 469         {\
 470             .driver   = "virtio-blk-pci",\
 471             .property = "event_idx",\
 472             .value    = "off",\
 473         },{\
 474             .driver   = "virtio-serial-pci",\
 475             .property = "event_idx",\
 476             .value    = "off",\
 477         },{\
 478             .driver   = "virtio-net-pci",\
 479             .property = "event_idx",\
 480             .value    = "off",\
 481         },{\
 482             .driver   = "virtio-balloon-pci",\
 483             .property = "event_idx",\
 484             .value    = "off",\
 485         }
 486
 487 static QEMUMachine pc_machine_v0_14 = {
 488     .name = "pc-0.14",
 489     .desc = "Standard PC",
 490     .init = pc_init_pci_1_2,
 491     .max_cpus = 255,
 492     .compat_props = (GlobalProperty[]) {
 493         PC_COMPAT_0_14,
 494         {
 495             .driver   = "qxl",
 496             .property = "revision",
 497             .value    = stringify(2),
 498         },{
 499             .driver   = "qxl-vga",
 500             .property = "revision",
 501             .value    = stringify(2),
 502         },
 503         { /* end of list */ }
 504     },
 505     .hw_version = "0.14",
 506     DEFAULT_MACHINE_OPTIONS,
 507 };
 508
 509 #define PC_COMPAT_0_13 \
 510         PC_COMPAT_0_14,\
 511         {\
 512             .driver   = TYPE_PCI_DEVICE,\
 513             .property = "command_serr_enable",\
 514             .value    = "off",\
 515         },{\
 516             .driver   = "AC97",\
 517             .property = "use_broken_id",\
 518             .value    = stringify(1),\
 519         }
 520
 521 static QEMUMachine pc_machine_v0_13 = {
 522     .name = "pc-0.13",
 523     .desc = "Standard PC",
 524     .init = pc_init_pci_no_kvmclock,
 525     .max_cpus = 255,
 526     .compat_props = (GlobalProperty[]) {
 527         PC_COMPAT_0_13,
 528         {
 529             .driver   = "virtio-9p-pci",
 530             .property = "vectors",
 531             .value    = stringify(0),
 532         },{
 533             .driver   = "VGA",
 534             .property = "rombar",
 535             .value    = stringify(0),
 536         },{
 537             .driver   = "vmware-svga",
 538             .property = "rombar",
 539             .value    = stringify(0),
 540         },
 541         { /* end of list */ }
 542     },
 543     .hw_version = "0.13",
 544     DEFAULT_MACHINE_OPTIONS,
 545 };
 546
 547 #define PC_COMPAT_0_12 \
 548         PC_COMPAT_0_13,\
 549         {\
 550             .driver   = "virtio-serial-pci",\
 551             .property = "max_ports",\
 552             .value    = stringify(1),\
 553         },{\
 554             .driver   = "virtio-serial-pci",\
 555             .property = "vectors",\
 556             .value    = stringify(0),\
 557         }
 558
 559 static QEMUMachine pc_machine_v0_12 = {
 560     .name = "pc-0.12",
 561     .desc = "Standard PC",
 562     .init = pc_init_pci_no_kvmclock,
 563     .max_cpus = 255,
 564     .compat_props = (GlobalProperty[]) {
 565         PC_COMPAT_0_12,
 566         {
 567             .driver   = "VGA",
 568             .property = "rombar",
 569             .value    = stringify(0),
 570         },{
 571             .driver   = "vmware-svga",
 572             .property = "rombar",
 573             .value    = stringify(0),
 574         },
 575         { /* end of list */ }
 576     },
 577     .hw_version = "0.12",
 578     DEFAULT_MACHINE_OPTIONS,
 579 };
 580
 581 #define PC_COMPAT_0_11 \
 582         PC_COMPAT_0_12,\
 583         {\
 584             .driver   = "virtio-blk-pci",\
 585             .property = "vectors",\
 586             .value    = stringify(0),\
 587         },{\
 588             .driver   = TYPE_PCI_DEVICE,\
 589             .property = "rombar",\
 590             .value    = stringify(0),\
 591         }
 592
 593 static QEMUMachine pc_machine_v0_11 = {
 594     .name = "pc-0.11",
 595     .desc = "Standard PC, qemu 0.11",
 596     .init = pc_init_pci_no_kvmclock,
 597     .max_cpus = 255,
 598     .compat_props = (GlobalProperty[]) {
 599         PC_COMPAT_0_11,
 600         {
 601             .driver   = "ide-drive",
 602             .property = "ver",
 603             .value    = "0.11",
 604         },{
 605             .driver   = "scsi-disk",
 606             .property = "ver",
 607             .value    = "0.11",
 608         },
 609         { /* end of list */ }
 610     },
 611     .hw_version = "0.11",
 612     DEFAULT_MACHINE_OPTIONS,
 613 };
 614
 615 static QEMUMachine pc_machine_v0_10 = {
 616     .name = "pc-0.10",
 617     .desc = "Standard PC, qemu 0.10",
 618     .init = pc_init_pci_no_kvmclock,
 619     .max_cpus = 255,
 620     .compat_props = (GlobalProperty[]) {
 621         PC_COMPAT_0_11,
 622         {
 623             .driver   = "virtio-blk-pci",
 624             .property = "class",
 625             .value    = stringify(PCI_CLASS_STORAGE_OTHER),
 626         },{
 627             .driver   = "virtio-serial-pci",
 628             .property = "class",
 629             .value    = stringify(PCI_CLASS_DISPLAY_OTHER),
 630         },{
 631             .driver   = "virtio-net-pci",
 632             .property = "vectors",
 633             .value    = stringify(0),
 634         },{
 635             .driver   = "ide-drive",
 636             .property = "ver",
 637             .value    = "0.10",
 638         },{
 639             .driver   = "scsi-disk",
 640             .property = "ver",
 641             .value    = "0.10",
 642         },
 643         { /* end of list */ }
 644     },
 645     .hw_version = "0.10",
 646     DEFAULT_MACHINE_OPTIONS,
 647 };
 648
 649 static QEMUMachine isapc_machine = {
 650     .name = "isapc",
 651     .desc = "ISA-only PC",
 652     .init = pc_init_isa,
 653     .max_cpus = 1,
 654     .compat_props = (GlobalProperty[]) {
 655         {
 656             .driver   = "pc-sysfw",
 657             .property = "rom_only",
 658             .value    = stringify(1),
 659         },
 660         { /* end of list */ }
 661     },
 662     DEFAULT_MACHINE_OPTIONS,
 663 };
 664
 665 #ifdef CONFIG_XEN
 666 static QEMUMachine xenfv_machine = {
 667     .name = "xenfv",
 668     .desc = "Xen Fully-virtualized PC",
 669     .init = pc_xen_hvm_init,
 670     .max_cpus = HVM_MAX_VCPUS,
 671     .default_machine_opts = "accel=xen",
 672     DEFAULT_MACHINE_OPTIONS,
 673 };
 674 #endif
 675
 676 static void pc_machine_init(void)
 677 {
 678     qemu_register_machine(&pc_i440fx_machine_v1_4);
 679     qemu_register_machine(&pc_machine_v1_3);
 680     qemu_register_machine(&pc_machine_v1_2);
 681     qemu_register_machine(&pc_machine_v1_1);
 682     qemu_register_machine(&pc_machine_v1_0);
 683     qemu_register_machine(&pc_machine_v0_15);
 684     qemu_register_machine(&pc_machine_v0_14);
 685     qemu_register_machine(&pc_machine_v0_13);
 686     qemu_register_machine(&pc_machine_v0_12);
 687     qemu_register_machine(&pc_machine_v0_11);
 688     qemu_register_machine(&pc_machine_v0_10);
 689     qemu_register_machine(&isapc_machine);
 690 #ifdef CONFIG_XEN
 691     qemu_register_machine(&xenfv_machine);
 692 #endif
 693 }
 694
 695 machine_init(pc_machine_init);