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