target-alpha: Use separate TCGv temporaries for the shadow registers
[qemu/ar7.git] / hw / i386 / pc_piix.c
blob95584676e244df5be183bbbdece2b51a2d5627ab
1 /*
2 * QEMU PC System Emulator
4 * Copyright (c) 2003-2004 Fabrice Bellard
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:
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
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.
25 #include <glib.h>
27 #include "hw/hw.h"
28 #include "hw/loader.h"
29 #include "hw/i386/pc.h"
30 #include "hw/i386/apic.h"
31 #include "hw/smbios/smbios.h"
32 #include "hw/pci/pci.h"
33 #include "hw/pci/pci_ids.h"
34 #include "hw/usb.h"
35 #include "net/net.h"
36 #include "hw/boards.h"
37 #include "hw/ide.h"
38 #include "sysemu/kvm.h"
39 #include "hw/kvm/clock.h"
40 #include "sysemu/sysemu.h"
41 #include "hw/sysbus.h"
42 #include "hw/cpu/icc_bus.h"
43 #include "sysemu/arch_init.h"
44 #include "sysemu/block-backend.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 "qemu/error-report.h"
52 #ifdef CONFIG_XEN
53 # include <xen/hvm/hvm_info_table.h>
54 #endif
55 #include "migration/migration.h"
57 #define MAX_IDE_BUS 2
59 static const int ide_iobase[MAX_IDE_BUS] = { 0x1f0, 0x170 };
60 static const int ide_iobase2[MAX_IDE_BUS] = { 0x3f6, 0x376 };
61 static const int ide_irq[MAX_IDE_BUS] = { 14, 15 };
63 static bool pci_enabled = true;
64 static bool has_acpi_build = true;
65 static bool rsdp_in_ram = true;
66 static int legacy_acpi_table_size;
67 static bool smbios_defaults = true;
68 static bool smbios_legacy_mode;
69 static bool smbios_uuid_encoded = true;
70 /* Make sure that guest addresses aligned at 1Gbyte boundaries get mapped to
71 * host addresses aligned at 1Gbyte boundaries. This way we can use 1GByte
72 * pages in the host.
74 static bool gigabyte_align = true;
75 static bool has_reserved_memory = true;
76 static bool kvmclock_enabled = true;
78 /* PC hardware initialisation */
79 static void pc_init1(MachineState *machine)
81 PCMachineState *pcms = PC_MACHINE(machine);
82 MemoryRegion *system_memory = get_system_memory();
83 MemoryRegion *system_io = get_system_io();
84 int i;
85 PCIBus *pci_bus;
86 ISABus *isa_bus;
87 PCII440FXState *i440fx_state;
88 int piix3_devfn = -1;
89 qemu_irq *gsi;
90 qemu_irq *i8259;
91 qemu_irq smi_irq;
92 GSIState *gsi_state;
93 DriveInfo *hd[MAX_IDE_BUS * MAX_IDE_DEVS];
94 BusState *idebus[MAX_IDE_BUS];
95 ISADevice *rtc_state;
96 MemoryRegion *ram_memory;
97 MemoryRegion *pci_memory;
98 MemoryRegion *rom_memory;
99 DeviceState *icc_bridge;
100 PcGuestInfo *guest_info;
101 ram_addr_t lowmem;
103 /* Check whether RAM fits below 4G (leaving 1/2 GByte for IO memory).
104 * If it doesn't, we need to split it in chunks below and above 4G.
105 * In any case, try to make sure that guest addresses aligned at
106 * 1G boundaries get mapped to host addresses aligned at 1G boundaries.
107 * For old machine types, use whatever split we used historically to avoid
108 * breaking migration.
110 if (machine->ram_size >= 0xe0000000) {
111 lowmem = gigabyte_align ? 0xc0000000 : 0xe0000000;
112 } else {
113 lowmem = 0xe0000000;
116 /* Handle the machine opt max-ram-below-4g. It is basically doing
117 * min(qemu limit, user limit).
119 if (lowmem > pcms->max_ram_below_4g) {
120 lowmem = pcms->max_ram_below_4g;
121 if (machine->ram_size - lowmem > lowmem &&
122 lowmem & ((1ULL << 30) - 1)) {
123 error_report("Warning: Large machine and max_ram_below_4g(%"PRIu64
124 ") not a multiple of 1G; possible bad performance.",
125 pcms->max_ram_below_4g);
129 if (machine->ram_size >= lowmem) {
130 pcms->above_4g_mem_size = machine->ram_size - lowmem;
131 pcms->below_4g_mem_size = lowmem;
132 } else {
133 pcms->above_4g_mem_size = 0;
134 pcms->below_4g_mem_size = machine->ram_size;
137 if (xen_enabled() && xen_hvm_init(&pcms->below_4g_mem_size,
138 &pcms->above_4g_mem_size,
139 &ram_memory) != 0) {
140 fprintf(stderr, "xen hardware virtual machine initialisation failed\n");
141 exit(1);
144 icc_bridge = qdev_create(NULL, TYPE_ICC_BRIDGE);
145 object_property_add_child(qdev_get_machine(), "icc-bridge",
146 OBJECT(icc_bridge), NULL);
148 pc_cpus_init(machine->cpu_model, icc_bridge);
150 if (kvm_enabled() && kvmclock_enabled) {
151 kvmclock_create();
154 if (pci_enabled) {
155 pci_memory = g_new(MemoryRegion, 1);
156 memory_region_init(pci_memory, NULL, "pci", UINT64_MAX);
157 rom_memory = pci_memory;
158 } else {
159 pci_memory = NULL;
160 rom_memory = system_memory;
163 guest_info = pc_guest_info_init(pcms);
165 guest_info->has_acpi_build = has_acpi_build;
166 guest_info->legacy_acpi_table_size = legacy_acpi_table_size;
168 guest_info->isapc_ram_fw = !pci_enabled;
169 guest_info->has_reserved_memory = has_reserved_memory;
170 guest_info->rsdp_in_ram = rsdp_in_ram;
172 if (smbios_defaults) {
173 MachineClass *mc = MACHINE_GET_CLASS(machine);
174 /* These values are guest ABI, do not change */
175 smbios_set_defaults("QEMU", "Standard PC (i440FX + PIIX, 1996)",
176 mc->name, smbios_legacy_mode, smbios_uuid_encoded);
179 /* allocate ram and load rom/bios */
180 if (!xen_enabled()) {
181 pc_memory_init(pcms, system_memory,
182 rom_memory, &ram_memory, guest_info);
183 } else if (machine->kernel_filename != NULL) {
184 /* For xen HVM direct kernel boot, load linux here */
185 xen_load_linux(pcms, guest_info);
188 gsi_state = g_malloc0(sizeof(*gsi_state));
189 if (kvm_irqchip_in_kernel()) {
190 kvm_pc_setup_irq_routing(pci_enabled);
191 gsi = qemu_allocate_irqs(kvm_pc_gsi_handler, gsi_state,
192 GSI_NUM_PINS);
193 } else {
194 gsi = qemu_allocate_irqs(gsi_handler, gsi_state, GSI_NUM_PINS);
197 if (pci_enabled) {
198 pci_bus = i440fx_init(&i440fx_state, &piix3_devfn, &isa_bus, gsi,
199 system_memory, system_io, machine->ram_size,
200 pcms->below_4g_mem_size,
201 pcms->above_4g_mem_size,
202 pci_memory, ram_memory);
203 } else {
204 pci_bus = NULL;
205 i440fx_state = NULL;
206 isa_bus = isa_bus_new(NULL, get_system_memory(), system_io);
207 no_hpet = 1;
209 isa_bus_irqs(isa_bus, gsi);
211 if (kvm_irqchip_in_kernel()) {
212 i8259 = kvm_i8259_init(isa_bus);
213 } else if (xen_enabled()) {
214 i8259 = xen_interrupt_controller_init();
215 } else {
216 i8259 = i8259_init(isa_bus, pc_allocate_cpu_irq());
219 for (i = 0; i < ISA_NUM_IRQS; i++) {
220 gsi_state->i8259_irq[i] = i8259[i];
222 g_free(i8259);
223 if (pci_enabled) {
224 ioapic_init_gsi(gsi_state, "i440fx");
226 qdev_init_nofail(icc_bridge);
228 pc_register_ferr_irq(gsi[13]);
230 pc_vga_init(isa_bus, pci_enabled ? pci_bus : NULL);
232 assert(pcms->vmport != ON_OFF_AUTO_MAX);
233 if (pcms->vmport == ON_OFF_AUTO_AUTO) {
234 pcms->vmport = xen_enabled() ? ON_OFF_AUTO_OFF : ON_OFF_AUTO_ON;
237 /* init basic PC hardware */
238 pc_basic_device_init(isa_bus, gsi, &rtc_state, true,
239 (pcms->vmport != ON_OFF_AUTO_ON), 0x4);
241 pc_nic_init(isa_bus, pci_bus);
243 ide_drive_get(hd, ARRAY_SIZE(hd));
244 if (pci_enabled) {
245 PCIDevice *dev;
246 if (xen_enabled()) {
247 dev = pci_piix3_xen_ide_init(pci_bus, hd, piix3_devfn + 1);
248 } else {
249 dev = pci_piix3_ide_init(pci_bus, hd, piix3_devfn + 1);
251 idebus[0] = qdev_get_child_bus(&dev->qdev, "ide.0");
252 idebus[1] = qdev_get_child_bus(&dev->qdev, "ide.1");
253 } else {
254 for(i = 0; i < MAX_IDE_BUS; i++) {
255 ISADevice *dev;
256 char busname[] = "ide.0";
257 dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i],
258 ide_irq[i],
259 hd[MAX_IDE_DEVS * i], hd[MAX_IDE_DEVS * i + 1]);
261 * The ide bus name is ide.0 for the first bus and ide.1 for the
262 * second one.
264 busname[4] = '0' + i;
265 idebus[i] = qdev_get_child_bus(DEVICE(dev), busname);
269 pc_cmos_init(pcms, idebus[0], idebus[1], rtc_state);
271 if (pci_enabled && usb_enabled()) {
272 pci_create_simple(pci_bus, piix3_devfn + 2, "piix3-usb-uhci");
275 if (pci_enabled && acpi_enabled) {
276 DeviceState *piix4_pm;
277 I2CBus *smbus;
279 smi_irq = qemu_allocate_irq(pc_acpi_smi_interrupt, first_cpu, 0);
280 /* TODO: Populate SPD eeprom data. */
281 smbus = piix4_pm_init(pci_bus, piix3_devfn + 3, 0xb100,
282 gsi[9], smi_irq,
283 pc_machine_is_smm_enabled(pcms),
284 &piix4_pm);
285 smbus_eeprom_init(smbus, 8, NULL, 0);
287 object_property_add_link(OBJECT(machine), PC_MACHINE_ACPI_DEVICE_PROP,
288 TYPE_HOTPLUG_HANDLER,
289 (Object **)&pcms->acpi_dev,
290 object_property_allow_set_link,
291 OBJ_PROP_LINK_UNREF_ON_RELEASE, &error_abort);
292 object_property_set_link(OBJECT(machine), OBJECT(piix4_pm),
293 PC_MACHINE_ACPI_DEVICE_PROP, &error_abort);
296 if (pci_enabled) {
297 pc_pci_device_init(pci_bus);
301 static void pc_compat_2_3(MachineState *machine)
303 PCMachineState *pcms = PC_MACHINE(machine);
304 savevm_skip_section_footers();
305 if (kvm_enabled()) {
306 pcms->smm = ON_OFF_AUTO_OFF;
308 global_state_set_optional();
309 savevm_skip_configuration();
312 static void pc_compat_2_2(MachineState *machine)
314 pc_compat_2_3(machine);
315 rsdp_in_ram = false;
316 machine->suppress_vmdesc = true;
319 static void pc_compat_2_1(MachineState *machine)
321 PCMachineState *pcms = PC_MACHINE(machine);
323 pc_compat_2_2(machine);
324 smbios_uuid_encoded = false;
325 x86_cpu_compat_kvm_no_autodisable(FEAT_8000_0001_ECX, CPUID_EXT3_SVM);
326 pcms->enforce_aligned_dimm = false;
329 static void pc_compat_2_0(MachineState *machine)
331 pc_compat_2_1(machine);
332 /* This value depends on the actual DSDT and SSDT compiled into
333 * the source QEMU; unfortunately it depends on the binary and
334 * not on the machine type, so we cannot make pc-i440fx-1.7 work on
335 * both QEMU 1.7 and QEMU 2.0.
337 * Large variations cause migration to fail for more than one
338 * consecutive value of the "-smp" maxcpus option.
340 * For small variations of the kind caused by different iasl versions,
341 * the 4k rounding usually leaves slack. However, there could be still
342 * one or two values that break. For QEMU 1.7 and QEMU 2.0 the
343 * slack is only ~10 bytes before one "-smp maxcpus" value breaks!
345 * 6652 is valid for QEMU 2.0, the right value for pc-i440fx-1.7 on
346 * QEMU 1.7 it is 6414. For RHEL/CentOS 7.0 it is 6418.
348 legacy_acpi_table_size = 6652;
349 smbios_legacy_mode = true;
350 has_reserved_memory = false;
351 pc_set_legacy_acpi_data_size();
354 static void pc_compat_1_7(MachineState *machine)
356 pc_compat_2_0(machine);
357 smbios_defaults = false;
358 gigabyte_align = false;
359 option_rom_has_mr = true;
360 legacy_acpi_table_size = 6414;
361 x86_cpu_compat_kvm_no_autoenable(FEAT_1_ECX, CPUID_EXT_X2APIC);
364 static void pc_compat_1_6(MachineState *machine)
366 pc_compat_1_7(machine);
367 rom_file_has_mr = false;
368 has_acpi_build = false;
371 static void pc_compat_1_5(MachineState *machine)
373 pc_compat_1_6(machine);
376 static void pc_compat_1_4(MachineState *machine)
378 pc_compat_1_5(machine);
381 static void pc_compat_1_3(MachineState *machine)
383 pc_compat_1_4(machine);
384 enable_compat_apic_id_mode();
387 /* PC compat function for pc-0.14 to pc-1.2 */
388 static void pc_compat_1_2(MachineState *machine)
390 pc_compat_1_3(machine);
391 x86_cpu_compat_kvm_no_autoenable(FEAT_KVM, 1 << KVM_FEATURE_PV_EOI);
394 /* PC compat function for pc-0.10 to pc-0.13 */
395 static void pc_compat_0_13(MachineState *machine)
397 pc_compat_1_2(machine);
398 kvmclock_enabled = false;
401 static void pc_init_isa(MachineState *machine)
403 pci_enabled = false;
404 has_acpi_build = false;
405 smbios_defaults = false;
406 gigabyte_align = false;
407 smbios_legacy_mode = true;
408 has_reserved_memory = false;
409 option_rom_has_mr = true;
410 rom_file_has_mr = false;
411 if (!machine->cpu_model) {
412 machine->cpu_model = "486";
414 x86_cpu_compat_kvm_no_autoenable(FEAT_KVM, 1 << KVM_FEATURE_PV_EOI);
415 enable_compat_apic_id_mode();
416 pc_init1(machine);
419 #ifdef CONFIG_XEN
420 static void pc_xen_hvm_init(MachineState *machine)
422 PCIBus *bus;
424 pc_init1(machine);
426 bus = pci_find_primary_bus();
427 if (bus != NULL) {
428 pci_create_simple(bus, -1, "xen-platform");
431 #endif
433 #define DEFINE_I440FX_MACHINE(suffix, name, compatfn, optionfn) \
434 static void pc_init_##suffix(MachineState *machine) \
436 void (*compat)(MachineState *m) = (compatfn); \
437 if (compat) { \
438 compat(machine); \
440 pc_init1(machine); \
442 DEFINE_PC_MACHINE(suffix, name, pc_init_##suffix, optionfn)
444 static void pc_i440fx_machine_options(MachineClass *m)
446 m->family = "pc_piix";
447 m->desc = "Standard PC (i440FX + PIIX, 1996)";
448 m->hot_add_cpu = pc_hot_add_cpu;
451 static void pc_i440fx_2_4_machine_options(MachineClass *m)
453 pc_i440fx_machine_options(m);
454 m->default_machine_opts = "firmware=bios-256k.bin";
455 m->default_display = "std";
456 m->alias = "pc";
457 m->is_default = 1;
460 DEFINE_I440FX_MACHINE(v2_4, "pc-i440fx-2.4", NULL,
461 pc_i440fx_2_4_machine_options)
464 static void pc_i440fx_2_3_machine_options(MachineClass *m)
466 pc_i440fx_2_4_machine_options(m);
467 m->alias = NULL;
468 m->is_default = 0;
469 SET_MACHINE_COMPAT(m, PC_COMPAT_2_3);
472 DEFINE_I440FX_MACHINE(v2_3, "pc-i440fx-2.3", pc_compat_2_3,
473 pc_i440fx_2_3_machine_options);
476 static void pc_i440fx_2_2_machine_options(MachineClass *m)
478 pc_i440fx_2_3_machine_options(m);
479 SET_MACHINE_COMPAT(m, PC_COMPAT_2_2);
482 DEFINE_I440FX_MACHINE(v2_2, "pc-i440fx-2.2", pc_compat_2_2,
483 pc_i440fx_2_2_machine_options);
486 static void pc_i440fx_2_1_machine_options(MachineClass *m)
488 pc_i440fx_2_2_machine_options(m);
489 m->default_display = NULL;
490 SET_MACHINE_COMPAT(m, PC_COMPAT_2_1);
493 DEFINE_I440FX_MACHINE(v2_1, "pc-i440fx-2.1", pc_compat_2_1,
494 pc_i440fx_2_1_machine_options);
498 static void pc_i440fx_2_0_machine_options(MachineClass *m)
500 pc_i440fx_2_1_machine_options(m);
501 SET_MACHINE_COMPAT(m, PC_COMPAT_2_0);
504 DEFINE_I440FX_MACHINE(v2_0, "pc-i440fx-2.0", pc_compat_2_0,
505 pc_i440fx_2_0_machine_options);
508 static void pc_i440fx_1_7_machine_options(MachineClass *m)
510 pc_i440fx_2_0_machine_options(m);
511 m->default_machine_opts = NULL;
512 SET_MACHINE_COMPAT(m, PC_COMPAT_1_7);
515 DEFINE_I440FX_MACHINE(v1_7, "pc-i440fx-1.7", pc_compat_1_7,
516 pc_i440fx_1_7_machine_options);
519 static void pc_i440fx_1_6_machine_options(MachineClass *m)
521 pc_i440fx_1_7_machine_options(m);
522 SET_MACHINE_COMPAT(m, PC_COMPAT_1_6);
525 DEFINE_I440FX_MACHINE(v1_6, "pc-i440fx-1.6", pc_compat_1_6,
526 pc_i440fx_1_6_machine_options);
529 static void pc_i440fx_1_5_machine_options(MachineClass *m)
531 pc_i440fx_1_6_machine_options(m);
532 SET_MACHINE_COMPAT(m, PC_COMPAT_1_5);
535 DEFINE_I440FX_MACHINE(v1_5, "pc-i440fx-1.5", pc_compat_1_5,
536 pc_i440fx_1_5_machine_options);
539 static void pc_i440fx_1_4_machine_options(MachineClass *m)
541 pc_i440fx_1_5_machine_options(m);
542 m->hot_add_cpu = NULL;
543 SET_MACHINE_COMPAT(m, PC_COMPAT_1_4);
546 DEFINE_I440FX_MACHINE(v1_4, "pc-i440fx-1.4", pc_compat_1_4,
547 pc_i440fx_1_4_machine_options);
550 #define PC_COMPAT_1_3 \
551 PC_COMPAT_1_4 \
553 .driver = "usb-tablet",\
554 .property = "usb_version",\
555 .value = stringify(1),\
556 },{\
557 .driver = "virtio-net-pci",\
558 .property = "ctrl_mac_addr",\
559 .value = "off", \
560 },{ \
561 .driver = "virtio-net-pci", \
562 .property = "mq", \
563 .value = "off", \
564 }, {\
565 .driver = "e1000",\
566 .property = "autonegotiation",\
567 .value = "off",\
571 static void pc_i440fx_1_3_machine_options(MachineClass *m)
573 pc_i440fx_1_4_machine_options(m);
574 SET_MACHINE_COMPAT(m, PC_COMPAT_1_3);
577 DEFINE_I440FX_MACHINE(v1_3, "pc-1.3", pc_compat_1_3,
578 pc_i440fx_1_3_machine_options);
581 #define PC_COMPAT_1_2 \
582 PC_COMPAT_1_3 \
584 .driver = "nec-usb-xhci",\
585 .property = "msi",\
586 .value = "off",\
587 },{\
588 .driver = "nec-usb-xhci",\
589 .property = "msix",\
590 .value = "off",\
591 },{\
592 .driver = "ivshmem",\
593 .property = "use64",\
594 .value = "0",\
595 },{\
596 .driver = "qxl",\
597 .property = "revision",\
598 .value = stringify(3),\
599 },{\
600 .driver = "qxl-vga",\
601 .property = "revision",\
602 .value = stringify(3),\
603 },{\
604 .driver = "VGA",\
605 .property = "mmio",\
606 .value = "off",\
609 static void pc_i440fx_1_2_machine_options(MachineClass *m)
611 pc_i440fx_1_3_machine_options(m);
612 SET_MACHINE_COMPAT(m, PC_COMPAT_1_2);
615 DEFINE_I440FX_MACHINE(v1_2, "pc-1.2", pc_compat_1_2,
616 pc_i440fx_1_2_machine_options);
619 #define PC_COMPAT_1_1 \
620 PC_COMPAT_1_2 \
622 .driver = "virtio-scsi-pci",\
623 .property = "hotplug",\
624 .value = "off",\
625 },{\
626 .driver = "virtio-scsi-pci",\
627 .property = "param_change",\
628 .value = "off",\
629 },{\
630 .driver = "VGA",\
631 .property = "vgamem_mb",\
632 .value = stringify(8),\
633 },{\
634 .driver = "vmware-svga",\
635 .property = "vgamem_mb",\
636 .value = stringify(8),\
637 },{\
638 .driver = "qxl-vga",\
639 .property = "vgamem_mb",\
640 .value = stringify(8),\
641 },{\
642 .driver = "qxl",\
643 .property = "vgamem_mb",\
644 .value = stringify(8),\
645 },{\
646 .driver = "virtio-blk-pci",\
647 .property = "config-wce",\
648 .value = "off",\
651 static void pc_i440fx_1_1_machine_options(MachineClass *m)
653 pc_i440fx_1_2_machine_options(m);
654 SET_MACHINE_COMPAT(m, PC_COMPAT_1_1);
657 DEFINE_I440FX_MACHINE(v1_1, "pc-1.1", pc_compat_1_2,
658 pc_i440fx_1_1_machine_options);
661 #define PC_COMPAT_1_0 \
662 PC_COMPAT_1_1 \
664 .driver = TYPE_ISA_FDC,\
665 .property = "check_media_rate",\
666 .value = "off",\
667 }, {\
668 .driver = "virtio-balloon-pci",\
669 .property = "class",\
670 .value = stringify(PCI_CLASS_MEMORY_RAM),\
671 },{\
672 .driver = "apic-common",\
673 .property = "vapic",\
674 .value = "off",\
675 },{\
676 .driver = TYPE_USB_DEVICE,\
677 .property = "full-path",\
678 .value = "no",\
681 static void pc_i440fx_1_0_machine_options(MachineClass *m)
683 pc_i440fx_1_1_machine_options(m);
684 m->hw_version = "1.0";
685 SET_MACHINE_COMPAT(m, PC_COMPAT_1_0);
688 DEFINE_I440FX_MACHINE(v1_0, "pc-1.0", pc_compat_1_2,
689 pc_i440fx_1_0_machine_options);
692 #define PC_COMPAT_0_15 \
693 PC_COMPAT_1_0
695 static void pc_i440fx_0_15_machine_options(MachineClass *m)
697 pc_i440fx_1_0_machine_options(m);
698 m->hw_version = "0.15";
699 SET_MACHINE_COMPAT(m, PC_COMPAT_0_15);
702 DEFINE_I440FX_MACHINE(v0_15, "pc-0.15", pc_compat_1_2,
703 pc_i440fx_0_15_machine_options);
706 #define PC_COMPAT_0_14 \
707 PC_COMPAT_0_15 \
709 .driver = "virtio-blk-pci",\
710 .property = "event_idx",\
711 .value = "off",\
712 },{\
713 .driver = "virtio-serial-pci",\
714 .property = "event_idx",\
715 .value = "off",\
716 },{\
717 .driver = "virtio-net-pci",\
718 .property = "event_idx",\
719 .value = "off",\
720 },{\
721 .driver = "virtio-balloon-pci",\
722 .property = "event_idx",\
723 .value = "off",\
724 },{\
725 .driver = "qxl",\
726 .property = "revision",\
727 .value = stringify(2),\
728 },{\
729 .driver = "qxl-vga",\
730 .property = "revision",\
731 .value = stringify(2),\
734 static void pc_i440fx_0_14_machine_options(MachineClass *m)
736 pc_i440fx_0_15_machine_options(m);
737 m->hw_version = "0.14";
738 SET_MACHINE_COMPAT(m, PC_COMPAT_0_14);
741 DEFINE_I440FX_MACHINE(v0_14, "pc-0.14", pc_compat_1_2,
742 pc_i440fx_0_14_machine_options);
745 #define PC_COMPAT_0_13 \
746 PC_COMPAT_0_14 \
748 .driver = TYPE_PCI_DEVICE,\
749 .property = "command_serr_enable",\
750 .value = "off",\
751 },{\
752 .driver = "AC97",\
753 .property = "use_broken_id",\
754 .value = stringify(1),\
755 },{\
756 .driver = "virtio-9p-pci",\
757 .property = "vectors",\
758 .value = stringify(0),\
759 },{\
760 .driver = "VGA",\
761 .property = "rombar",\
762 .value = stringify(0),\
763 },{\
764 .driver = "vmware-svga",\
765 .property = "rombar",\
766 .value = stringify(0),\
769 static void pc_i440fx_0_13_machine_options(MachineClass *m)
771 pc_i440fx_0_14_machine_options(m);
772 m->hw_version = "0.13";
773 SET_MACHINE_COMPAT(m, PC_COMPAT_0_13);
776 DEFINE_I440FX_MACHINE(v0_13, "pc-0.13", pc_compat_0_13,
777 pc_i440fx_0_13_machine_options);
780 #define PC_COMPAT_0_12 \
781 PC_COMPAT_0_13 \
783 .driver = "virtio-serial-pci",\
784 .property = "max_ports",\
785 .value = stringify(1),\
786 },{\
787 .driver = "virtio-serial-pci",\
788 .property = "vectors",\
789 .value = stringify(0),\
790 },{\
791 .driver = "usb-mouse",\
792 .property = "serial",\
793 .value = "1",\
794 },{\
795 .driver = "usb-tablet",\
796 .property = "serial",\
797 .value = "1",\
798 },{\
799 .driver = "usb-kbd",\
800 .property = "serial",\
801 .value = "1",\
804 static void pc_i440fx_0_12_machine_options(MachineClass *m)
806 pc_i440fx_0_13_machine_options(m);
807 m->hw_version = "0.12";
808 SET_MACHINE_COMPAT(m, PC_COMPAT_0_12);
811 DEFINE_I440FX_MACHINE(v0_12, "pc-0.12", pc_compat_0_13,
812 pc_i440fx_0_12_machine_options);
815 #define PC_COMPAT_0_11 \
816 PC_COMPAT_0_12 \
818 .driver = "virtio-blk-pci",\
819 .property = "vectors",\
820 .value = stringify(0),\
821 },{\
822 .driver = TYPE_PCI_DEVICE,\
823 .property = "rombar",\
824 .value = stringify(0),\
825 },{\
826 .driver = "ide-drive",\
827 .property = "ver",\
828 .value = "0.11",\
829 },{\
830 .driver = "scsi-disk",\
831 .property = "ver",\
832 .value = "0.11",\
835 static void pc_i440fx_0_11_machine_options(MachineClass *m)
837 pc_i440fx_0_12_machine_options(m);
838 m->hw_version = "0.11";
839 SET_MACHINE_COMPAT(m, PC_COMPAT_0_11);
842 DEFINE_I440FX_MACHINE(v0_11, "pc-0.11", pc_compat_0_13,
843 pc_i440fx_0_11_machine_options);
846 #define PC_COMPAT_0_10 \
847 PC_COMPAT_0_11 \
849 .driver = "virtio-blk-pci",\
850 .property = "class",\
851 .value = stringify(PCI_CLASS_STORAGE_OTHER),\
852 },{\
853 .driver = "virtio-serial-pci",\
854 .property = "class",\
855 .value = stringify(PCI_CLASS_DISPLAY_OTHER),\
856 },{\
857 .driver = "virtio-net-pci",\
858 .property = "vectors",\
859 .value = stringify(0),\
860 },{\
861 .driver = "ide-drive",\
862 .property = "ver",\
863 .value = "0.10",\
864 },{\
865 .driver = "scsi-disk",\
866 .property = "ver",\
867 .value = "0.10",\
870 static void pc_i440fx_0_10_machine_options(MachineClass *m)
872 pc_i440fx_0_11_machine_options(m);
873 m->hw_version = "0.10";
874 SET_MACHINE_COMPAT(m, PC_COMPAT_0_10);
877 DEFINE_I440FX_MACHINE(v0_10, "pc-0.10", pc_compat_0_13,
878 pc_i440fx_0_10_machine_options);
881 static void isapc_machine_options(MachineClass *m)
883 m->desc = "ISA-only PC";
884 m->max_cpus = 1;
887 DEFINE_PC_MACHINE(isapc, "isapc", pc_init_isa,
888 isapc_machine_options);
891 #ifdef CONFIG_XEN
892 static void xenfv_machine_options(MachineClass *m)
894 m->desc = "Xen Fully-virtualized PC";
895 m->max_cpus = HVM_MAX_VCPUS;
896 m->default_machine_opts = "accel=xen";
897 m->hot_add_cpu = pc_hot_add_cpu;
900 DEFINE_PC_MACHINE(xenfv, "xenfv", pc_xen_hvm_init,
901 xenfv_machine_options);
902 #endif