f7e4dd6c18
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
667 lines
19 KiB
C
667 lines
19 KiB
C
/*
|
|
* QEMU PC System Emulator
|
|
*
|
|
* Copyright (c) 2003-2004 Fabrice Bellard
|
|
*
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
* in the Software without restriction, including without limitation the rights
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
* furnished to do so, subject to the following conditions:
|
|
*
|
|
* The above copyright notice and this permission notice shall be included in
|
|
* all copies or substantial portions of the Software.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
|
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
* THE SOFTWARE.
|
|
*/
|
|
|
|
#include <glib.h>
|
|
|
|
#include "hw.h"
|
|
#include "pc.h"
|
|
#include "apic.h"
|
|
#include "pci/pci.h"
|
|
#include "pci/pci_ids.h"
|
|
#include "usb.h"
|
|
#include "net/net.h"
|
|
#include "boards.h"
|
|
#include "ide.h"
|
|
#include "sysemu/kvm.h"
|
|
#include "kvm/clock.h"
|
|
#include "sysemu/sysemu.h"
|
|
#include "sysbus.h"
|
|
#include "sysemu/arch_init.h"
|
|
#include "sysemu/blockdev.h"
|
|
#include "smbus.h"
|
|
#include "xen.h"
|
|
#include "exec/memory.h"
|
|
#include "exec/address-spaces.h"
|
|
#include "cpu.h"
|
|
#ifdef CONFIG_XEN
|
|
# include <xen/hvm/hvm_info_table.h>
|
|
#endif
|
|
|
|
#define MAX_IDE_BUS 2
|
|
|
|
static const int ide_iobase[MAX_IDE_BUS] = { 0x1f0, 0x170 };
|
|
static const int ide_iobase2[MAX_IDE_BUS] = { 0x3f6, 0x376 };
|
|
static const int ide_irq[MAX_IDE_BUS] = { 14, 15 };
|
|
|
|
/* PC hardware initialisation */
|
|
static void pc_init1(MemoryRegion *system_memory,
|
|
MemoryRegion *system_io,
|
|
ram_addr_t ram_size,
|
|
const char *boot_device,
|
|
const char *kernel_filename,
|
|
const char *kernel_cmdline,
|
|
const char *initrd_filename,
|
|
const char *cpu_model,
|
|
int pci_enabled,
|
|
int kvmclock_enabled)
|
|
{
|
|
int i;
|
|
ram_addr_t below_4g_mem_size, above_4g_mem_size;
|
|
PCIBus *pci_bus;
|
|
ISABus *isa_bus;
|
|
PCII440FXState *i440fx_state;
|
|
int piix3_devfn = -1;
|
|
qemu_irq *cpu_irq;
|
|
qemu_irq *gsi;
|
|
qemu_irq *i8259;
|
|
qemu_irq *smi_irq;
|
|
GSIState *gsi_state;
|
|
DriveInfo *hd[MAX_IDE_BUS * MAX_IDE_DEVS];
|
|
BusState *idebus[MAX_IDE_BUS];
|
|
ISADevice *rtc_state;
|
|
ISADevice *floppy;
|
|
MemoryRegion *ram_memory;
|
|
MemoryRegion *pci_memory;
|
|
MemoryRegion *rom_memory;
|
|
void *fw_cfg = NULL;
|
|
|
|
pc_cpus_init(cpu_model);
|
|
pc_acpi_init("acpi-dsdt.aml");
|
|
|
|
if (kvmclock_enabled) {
|
|
kvmclock_create();
|
|
}
|
|
|
|
if (ram_size >= 0xe0000000 ) {
|
|
above_4g_mem_size = ram_size - 0xe0000000;
|
|
below_4g_mem_size = 0xe0000000;
|
|
} else {
|
|
above_4g_mem_size = 0;
|
|
below_4g_mem_size = ram_size;
|
|
}
|
|
|
|
if (pci_enabled) {
|
|
pci_memory = g_new(MemoryRegion, 1);
|
|
memory_region_init(pci_memory, "pci", INT64_MAX);
|
|
rom_memory = pci_memory;
|
|
} else {
|
|
pci_memory = NULL;
|
|
rom_memory = system_memory;
|
|
}
|
|
|
|
/* allocate ram and load rom/bios */
|
|
if (!xen_enabled()) {
|
|
fw_cfg = pc_memory_init(system_memory,
|
|
kernel_filename, kernel_cmdline, initrd_filename,
|
|
below_4g_mem_size, above_4g_mem_size,
|
|
rom_memory, &ram_memory);
|
|
}
|
|
|
|
gsi_state = g_malloc0(sizeof(*gsi_state));
|
|
if (kvm_irqchip_in_kernel()) {
|
|
kvm_pc_setup_irq_routing(pci_enabled);
|
|
gsi = qemu_allocate_irqs(kvm_pc_gsi_handler, gsi_state,
|
|
GSI_NUM_PINS);
|
|
} else {
|
|
gsi = qemu_allocate_irqs(gsi_handler, gsi_state, GSI_NUM_PINS);
|
|
}
|
|
|
|
if (pci_enabled) {
|
|
pci_bus = i440fx_init(&i440fx_state, &piix3_devfn, &isa_bus, gsi,
|
|
system_memory, system_io, ram_size,
|
|
below_4g_mem_size,
|
|
0x100000000ULL - below_4g_mem_size,
|
|
0x100000000ULL + above_4g_mem_size,
|
|
(sizeof(hwaddr) == 4
|
|
? 0
|
|
: ((uint64_t)1 << 62)),
|
|
pci_memory, ram_memory);
|
|
} else {
|
|
pci_bus = NULL;
|
|
i440fx_state = NULL;
|
|
isa_bus = isa_bus_new(NULL, system_io);
|
|
no_hpet = 1;
|
|
}
|
|
isa_bus_irqs(isa_bus, gsi);
|
|
|
|
if (kvm_irqchip_in_kernel()) {
|
|
i8259 = kvm_i8259_init(isa_bus);
|
|
} else if (xen_enabled()) {
|
|
i8259 = xen_interrupt_controller_init();
|
|
} else {
|
|
cpu_irq = pc_allocate_cpu_irq();
|
|
i8259 = i8259_init(isa_bus, cpu_irq[0]);
|
|
}
|
|
|
|
for (i = 0; i < ISA_NUM_IRQS; i++) {
|
|
gsi_state->i8259_irq[i] = i8259[i];
|
|
}
|
|
if (pci_enabled) {
|
|
ioapic_init_gsi(gsi_state, "i440fx");
|
|
}
|
|
|
|
pc_register_ferr_irq(gsi[13]);
|
|
|
|
pc_vga_init(isa_bus, pci_enabled ? pci_bus : NULL);
|
|
if (xen_enabled()) {
|
|
pci_create_simple(pci_bus, -1, "xen-platform");
|
|
}
|
|
|
|
/* init basic PC hardware */
|
|
pc_basic_device_init(isa_bus, gsi, &rtc_state, &floppy, xen_enabled());
|
|
|
|
pc_nic_init(isa_bus, pci_bus);
|
|
|
|
ide_drive_get(hd, MAX_IDE_BUS);
|
|
if (pci_enabled) {
|
|
PCIDevice *dev;
|
|
if (xen_enabled()) {
|
|
dev = pci_piix3_xen_ide_init(pci_bus, hd, piix3_devfn + 1);
|
|
} else {
|
|
dev = pci_piix3_ide_init(pci_bus, hd, piix3_devfn + 1);
|
|
}
|
|
idebus[0] = qdev_get_child_bus(&dev->qdev, "ide.0");
|
|
idebus[1] = qdev_get_child_bus(&dev->qdev, "ide.1");
|
|
} else {
|
|
for(i = 0; i < MAX_IDE_BUS; i++) {
|
|
ISADevice *dev;
|
|
dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i],
|
|
ide_irq[i],
|
|
hd[MAX_IDE_DEVS * i], hd[MAX_IDE_DEVS * i + 1]);
|
|
idebus[i] = qdev_get_child_bus(&dev->qdev, "ide.0");
|
|
}
|
|
}
|
|
|
|
audio_init(isa_bus, pci_enabled ? pci_bus : NULL);
|
|
|
|
pc_cmos_init(below_4g_mem_size, above_4g_mem_size, boot_device,
|
|
floppy, idebus[0], idebus[1], rtc_state);
|
|
|
|
if (pci_enabled && usb_enabled(false)) {
|
|
pci_create_simple(pci_bus, piix3_devfn + 2, "piix3-usb-uhci");
|
|
}
|
|
|
|
if (pci_enabled && acpi_enabled) {
|
|
i2c_bus *smbus;
|
|
|
|
smi_irq = qemu_allocate_irqs(pc_acpi_smi_interrupt, first_cpu, 1);
|
|
/* TODO: Populate SPD eeprom data. */
|
|
smbus = piix4_pm_init(pci_bus, piix3_devfn + 3, 0xb100,
|
|
gsi[9], *smi_irq,
|
|
kvm_enabled(), fw_cfg);
|
|
smbus_eeprom_init(smbus, 8, NULL, 0);
|
|
}
|
|
|
|
if (pci_enabled) {
|
|
pc_pci_device_init(pci_bus);
|
|
}
|
|
}
|
|
|
|
static void pc_init_pci(QEMUMachineInitArgs *args)
|
|
{
|
|
ram_addr_t ram_size = args->ram_size;
|
|
const char *cpu_model = args->cpu_model;
|
|
const char *kernel_filename = args->kernel_filename;
|
|
const char *kernel_cmdline = args->kernel_cmdline;
|
|
const char *initrd_filename = args->initrd_filename;
|
|
const char *boot_device = args->boot_device;
|
|
pc_init1(get_system_memory(),
|
|
get_system_io(),
|
|
ram_size, boot_device,
|
|
kernel_filename, kernel_cmdline,
|
|
initrd_filename, cpu_model, 1, 1);
|
|
}
|
|
|
|
static void pc_init_pci_1_3(QEMUMachineInitArgs *args)
|
|
{
|
|
enable_kvm_pv_eoi();
|
|
pc_init_pci(args);
|
|
}
|
|
|
|
static void pc_init_pci_no_kvmclock(QEMUMachineInitArgs *args)
|
|
{
|
|
ram_addr_t ram_size = args->ram_size;
|
|
const char *cpu_model = args->cpu_model;
|
|
const char *kernel_filename = args->kernel_filename;
|
|
const char *kernel_cmdline = args->kernel_cmdline;
|
|
const char *initrd_filename = args->initrd_filename;
|
|
const char *boot_device = args->boot_device;
|
|
pc_init1(get_system_memory(),
|
|
get_system_io(),
|
|
ram_size, boot_device,
|
|
kernel_filename, kernel_cmdline,
|
|
initrd_filename, cpu_model, 1, 0);
|
|
}
|
|
|
|
static void pc_init_isa(QEMUMachineInitArgs *args)
|
|
{
|
|
ram_addr_t ram_size = args->ram_size;
|
|
const char *cpu_model = args->cpu_model;
|
|
const char *kernel_filename = args->kernel_filename;
|
|
const char *kernel_cmdline = args->kernel_cmdline;
|
|
const char *initrd_filename = args->initrd_filename;
|
|
const char *boot_device = args->boot_device;
|
|
if (cpu_model == NULL)
|
|
cpu_model = "486";
|
|
pc_init1(get_system_memory(),
|
|
get_system_io(),
|
|
ram_size, boot_device,
|
|
kernel_filename, kernel_cmdline,
|
|
initrd_filename, cpu_model, 0, 1);
|
|
}
|
|
|
|
#ifdef CONFIG_XEN
|
|
static void pc_xen_hvm_init(QEMUMachineInitArgs *args)
|
|
{
|
|
if (xen_hvm_init() != 0) {
|
|
hw_error("xen hardware virtual machine initialisation failed");
|
|
}
|
|
pc_init_pci_no_kvmclock(args);
|
|
xen_vcpu_init();
|
|
}
|
|
#endif
|
|
|
|
static QEMUMachine pc_machine_v1_4 = {
|
|
.name = "pc-1.4",
|
|
.alias = "pc",
|
|
.desc = "Standard PC",
|
|
.init = pc_init_pci_1_3,
|
|
.max_cpus = 255,
|
|
.is_default = 1,
|
|
};
|
|
|
|
#define PC_COMPAT_1_3 \
|
|
{\
|
|
.driver = "usb-tablet",\
|
|
.property = "usb_version",\
|
|
.value = stringify(1),\
|
|
}
|
|
|
|
static QEMUMachine pc_machine_v1_3 = {
|
|
.name = "pc-1.3",
|
|
.desc = "Standard PC",
|
|
.init = pc_init_pci_1_3,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_1_3,
|
|
{ /* end of list */ }
|
|
},
|
|
};
|
|
|
|
#define PC_COMPAT_1_2 \
|
|
PC_COMPAT_1_3,\
|
|
{\
|
|
.driver = "nec-usb-xhci",\
|
|
.property = "msi",\
|
|
.value = "off",\
|
|
},{\
|
|
.driver = "nec-usb-xhci",\
|
|
.property = "msix",\
|
|
.value = "off",\
|
|
},{\
|
|
.driver = "ivshmem",\
|
|
.property = "use64",\
|
|
.value = "0",\
|
|
},{\
|
|
.driver = "qxl",\
|
|
.property = "revision",\
|
|
.value = stringify(3),\
|
|
},{\
|
|
.driver = "qxl-vga",\
|
|
.property = "revision",\
|
|
.value = stringify(3),\
|
|
},{\
|
|
.driver = "VGA",\
|
|
.property = "mmio",\
|
|
.value = "off",\
|
|
}
|
|
|
|
static QEMUMachine pc_machine_v1_2 = {
|
|
.name = "pc-1.2",
|
|
.desc = "Standard PC",
|
|
.init = pc_init_pci,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_1_2,
|
|
{ /* end of list */ }
|
|
},
|
|
};
|
|
|
|
#define PC_COMPAT_1_1 \
|
|
PC_COMPAT_1_2,\
|
|
{\
|
|
.driver = "virtio-scsi-pci",\
|
|
.property = "hotplug",\
|
|
.value = "off",\
|
|
},{\
|
|
.driver = "virtio-scsi-pci",\
|
|
.property = "param_change",\
|
|
.value = "off",\
|
|
},{\
|
|
.driver = "VGA",\
|
|
.property = "vgamem_mb",\
|
|
.value = stringify(8),\
|
|
},{\
|
|
.driver = "vmware-svga",\
|
|
.property = "vgamem_mb",\
|
|
.value = stringify(8),\
|
|
},{\
|
|
.driver = "qxl-vga",\
|
|
.property = "vgamem_mb",\
|
|
.value = stringify(8),\
|
|
},{\
|
|
.driver = "qxl",\
|
|
.property = "vgamem_mb",\
|
|
.value = stringify(8),\
|
|
},{\
|
|
.driver = "virtio-blk-pci",\
|
|
.property = "config-wce",\
|
|
.value = "off",\
|
|
}
|
|
|
|
static QEMUMachine pc_machine_v1_1 = {
|
|
.name = "pc-1.1",
|
|
.desc = "Standard PC",
|
|
.init = pc_init_pci,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_1_1,
|
|
{ /* end of list */ }
|
|
},
|
|
};
|
|
|
|
#define PC_COMPAT_1_0 \
|
|
PC_COMPAT_1_1,\
|
|
{\
|
|
.driver = "pc-sysfw",\
|
|
.property = "rom_only",\
|
|
.value = stringify(1),\
|
|
}, {\
|
|
.driver = "isa-fdc",\
|
|
.property = "check_media_rate",\
|
|
.value = "off",\
|
|
}, {\
|
|
.driver = "virtio-balloon-pci",\
|
|
.property = "class",\
|
|
.value = stringify(PCI_CLASS_MEMORY_RAM),\
|
|
},{\
|
|
.driver = "apic",\
|
|
.property = "vapic",\
|
|
.value = "off",\
|
|
},{\
|
|
.driver = TYPE_USB_DEVICE,\
|
|
.property = "full-path",\
|
|
.value = "no",\
|
|
}
|
|
|
|
static QEMUMachine pc_machine_v1_0 = {
|
|
.name = "pc-1.0",
|
|
.desc = "Standard PC",
|
|
.init = pc_init_pci,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_1_0,
|
|
{ /* end of list */ }
|
|
},
|
|
.hw_version = "1.0",
|
|
};
|
|
|
|
#define PC_COMPAT_0_15 \
|
|
PC_COMPAT_1_0
|
|
|
|
static QEMUMachine pc_machine_v0_15 = {
|
|
.name = "pc-0.15",
|
|
.desc = "Standard PC",
|
|
.init = pc_init_pci,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_0_15,
|
|
{ /* end of list */ }
|
|
},
|
|
.hw_version = "0.15",
|
|
};
|
|
|
|
#define PC_COMPAT_0_14 \
|
|
PC_COMPAT_0_15,\
|
|
{\
|
|
.driver = "virtio-blk-pci",\
|
|
.property = "event_idx",\
|
|
.value = "off",\
|
|
},{\
|
|
.driver = "virtio-serial-pci",\
|
|
.property = "event_idx",\
|
|
.value = "off",\
|
|
},{\
|
|
.driver = "virtio-net-pci",\
|
|
.property = "event_idx",\
|
|
.value = "off",\
|
|
},{\
|
|
.driver = "virtio-balloon-pci",\
|
|
.property = "event_idx",\
|
|
.value = "off",\
|
|
}
|
|
|
|
static QEMUMachine pc_machine_v0_14 = {
|
|
.name = "pc-0.14",
|
|
.desc = "Standard PC",
|
|
.init = pc_init_pci,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_0_14,
|
|
{
|
|
.driver = "qxl",
|
|
.property = "revision",
|
|
.value = stringify(2),
|
|
},{
|
|
.driver = "qxl-vga",
|
|
.property = "revision",
|
|
.value = stringify(2),
|
|
},
|
|
{ /* end of list */ }
|
|
},
|
|
.hw_version = "0.14",
|
|
};
|
|
|
|
#define PC_COMPAT_0_13 \
|
|
PC_COMPAT_0_14,\
|
|
{\
|
|
.driver = TYPE_PCI_DEVICE,\
|
|
.property = "command_serr_enable",\
|
|
.value = "off",\
|
|
},{\
|
|
.driver = "AC97",\
|
|
.property = "use_broken_id",\
|
|
.value = stringify(1),\
|
|
}
|
|
|
|
static QEMUMachine pc_machine_v0_13 = {
|
|
.name = "pc-0.13",
|
|
.desc = "Standard PC",
|
|
.init = pc_init_pci_no_kvmclock,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_0_13,
|
|
{
|
|
.driver = "virtio-9p-pci",
|
|
.property = "vectors",
|
|
.value = stringify(0),
|
|
},{
|
|
.driver = "VGA",
|
|
.property = "rombar",
|
|
.value = stringify(0),
|
|
},{
|
|
.driver = "vmware-svga",
|
|
.property = "rombar",
|
|
.value = stringify(0),
|
|
},
|
|
{ /* end of list */ }
|
|
},
|
|
.hw_version = "0.13",
|
|
};
|
|
|
|
#define PC_COMPAT_0_12 \
|
|
PC_COMPAT_0_13,\
|
|
{\
|
|
.driver = "virtio-serial-pci",\
|
|
.property = "max_ports",\
|
|
.value = stringify(1),\
|
|
},{\
|
|
.driver = "virtio-serial-pci",\
|
|
.property = "vectors",\
|
|
.value = stringify(0),\
|
|
}
|
|
|
|
static QEMUMachine pc_machine_v0_12 = {
|
|
.name = "pc-0.12",
|
|
.desc = "Standard PC",
|
|
.init = pc_init_pci_no_kvmclock,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_0_12,
|
|
{
|
|
.driver = "VGA",
|
|
.property = "rombar",
|
|
.value = stringify(0),
|
|
},{
|
|
.driver = "vmware-svga",
|
|
.property = "rombar",
|
|
.value = stringify(0),
|
|
},
|
|
{ /* end of list */ }
|
|
},
|
|
.hw_version = "0.12",
|
|
};
|
|
|
|
#define PC_COMPAT_0_11 \
|
|
PC_COMPAT_0_12,\
|
|
{\
|
|
.driver = "virtio-blk-pci",\
|
|
.property = "vectors",\
|
|
.value = stringify(0),\
|
|
},{\
|
|
.driver = TYPE_PCI_DEVICE,\
|
|
.property = "rombar",\
|
|
.value = stringify(0),\
|
|
}
|
|
|
|
static QEMUMachine pc_machine_v0_11 = {
|
|
.name = "pc-0.11",
|
|
.desc = "Standard PC, qemu 0.11",
|
|
.init = pc_init_pci_no_kvmclock,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_0_11,
|
|
{
|
|
.driver = "ide-drive",
|
|
.property = "ver",
|
|
.value = "0.11",
|
|
},{
|
|
.driver = "scsi-disk",
|
|
.property = "ver",
|
|
.value = "0.11",
|
|
},
|
|
{ /* end of list */ }
|
|
},
|
|
.hw_version = "0.11",
|
|
};
|
|
|
|
static QEMUMachine pc_machine_v0_10 = {
|
|
.name = "pc-0.10",
|
|
.desc = "Standard PC, qemu 0.10",
|
|
.init = pc_init_pci_no_kvmclock,
|
|
.max_cpus = 255,
|
|
.compat_props = (GlobalProperty[]) {
|
|
PC_COMPAT_0_11,
|
|
{
|
|
.driver = "virtio-blk-pci",
|
|
.property = "class",
|
|
.value = stringify(PCI_CLASS_STORAGE_OTHER),
|
|
},{
|
|
.driver = "virtio-serial-pci",
|
|
.property = "class",
|
|
.value = stringify(PCI_CLASS_DISPLAY_OTHER),
|
|
},{
|
|
.driver = "virtio-net-pci",
|
|
.property = "vectors",
|
|
.value = stringify(0),
|
|
},{
|
|
.driver = "ide-drive",
|
|
.property = "ver",
|
|
.value = "0.10",
|
|
},{
|
|
.driver = "scsi-disk",
|
|
.property = "ver",
|
|
.value = "0.10",
|
|
},
|
|
{ /* end of list */ }
|
|
},
|
|
.hw_version = "0.10",
|
|
};
|
|
|
|
static QEMUMachine isapc_machine = {
|
|
.name = "isapc",
|
|
.desc = "ISA-only PC",
|
|
.init = pc_init_isa,
|
|
.max_cpus = 1,
|
|
.compat_props = (GlobalProperty[]) {
|
|
{
|
|
.driver = "pc-sysfw",
|
|
.property = "rom_only",
|
|
.value = stringify(1),
|
|
},
|
|
{ /* end of list */ }
|
|
},
|
|
};
|
|
|
|
#ifdef CONFIG_XEN
|
|
static QEMUMachine xenfv_machine = {
|
|
.name = "xenfv",
|
|
.desc = "Xen Fully-virtualized PC",
|
|
.init = pc_xen_hvm_init,
|
|
.max_cpus = HVM_MAX_VCPUS,
|
|
.default_machine_opts = "accel=xen",
|
|
};
|
|
#endif
|
|
|
|
static void pc_machine_init(void)
|
|
{
|
|
qemu_register_machine(&pc_machine_v1_4);
|
|
qemu_register_machine(&pc_machine_v1_3);
|
|
qemu_register_machine(&pc_machine_v1_2);
|
|
qemu_register_machine(&pc_machine_v1_1);
|
|
qemu_register_machine(&pc_machine_v1_0);
|
|
qemu_register_machine(&pc_machine_v0_15);
|
|
qemu_register_machine(&pc_machine_v0_14);
|
|
qemu_register_machine(&pc_machine_v0_13);
|
|
qemu_register_machine(&pc_machine_v0_12);
|
|
qemu_register_machine(&pc_machine_v0_11);
|
|
qemu_register_machine(&pc_machine_v0_10);
|
|
qemu_register_machine(&isapc_machine);
|
|
#ifdef CONFIG_XEN
|
|
qemu_register_machine(&xenfv_machine);
|
|
#endif
|
|
}
|
|
|
|
machine_init(pc_machine_init);
|