]> git.proxmox.com Git - qemu.git/blame - hw/pc_piix.c
Merge remote-tracking branch 'mst/tags/for_anthony' into staging
[qemu.git] / hw / pc_piix.c
CommitLineData
845773ab
IY
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
ae0a5466
AK
25#include <glib.h>
26
845773ab
IY
27#include "hw.h"
28#include "pc.h"
29#include "apic.h"
30#include "pci.h"
2ba1d381 31#include "pci_ids.h"
845773ab
IY
32#include "net.h"
33#include "boards.h"
34#include "ide.h"
35#include "kvm.h"
3b9a6ee5 36#include "kvm/clock.h"
666daa68 37#include "sysemu.h"
96051119 38#include "sysbus.h"
0dfa5ef9 39#include "arch_init.h"
2446333c 40#include "blockdev.h"
a88df0b9 41#include "smbus.h"
29d3ccde 42#include "xen.h"
4aa63af1
AK
43#include "memory.h"
44#include "exec-memory.h"
29d3ccde
AP
45#ifdef CONFIG_XEN
46# include <xen/hvm/hvm_info_table.h>
47#endif
845773ab
IY
48
49#define MAX_IDE_BUS 2
50
51static const int ide_iobase[MAX_IDE_BUS] = { 0x1f0, 0x170 };
52static const int ide_iobase2[MAX_IDE_BUS] = { 0x3f6, 0x376 };
53static const int ide_irq[MAX_IDE_BUS] = { 14, 15 };
54
10b61882
JK
55static void kvm_piix3_setup_irq_routing(bool pci_enabled)
56{
57#ifdef CONFIG_KVM
58 KVMState *s = kvm_state;
59 int ret, i;
60
61 if (kvm_check_extension(s, KVM_CAP_IRQ_ROUTING)) {
62 for (i = 0; i < 8; ++i) {
63 if (i == 2) {
64 continue;
65 }
66 kvm_irqchip_add_route(s, i, KVM_IRQCHIP_PIC_MASTER, i);
67 }
68 for (i = 8; i < 16; ++i) {
69 kvm_irqchip_add_route(s, i, KVM_IRQCHIP_PIC_SLAVE, i - 8);
70 }
a39c1d47
JK
71 if (pci_enabled) {
72 for (i = 0; i < 24; ++i) {
73 if (i == 0) {
74 kvm_irqchip_add_route(s, i, KVM_IRQCHIP_IOAPIC, 2);
75 } else if (i != 2) {
76 kvm_irqchip_add_route(s, i, KVM_IRQCHIP_IOAPIC, i);
77 }
78 }
79 }
10b61882
JK
80 ret = kvm_irqchip_commit_routes(s);
81 if (ret < 0) {
82 hw_error("KVM IRQ routing setup failed");
83 }
84 }
85#endif /* CONFIG_KVM */
86}
87
88static void kvm_piix3_gsi_handler(void *opaque, int n, int level)
89{
90 GSIState *s = opaque;
91
92 if (n < ISA_NUM_IRQS) {
93 /* Kernel will forward to both PIC and IOAPIC */
94 qemu_set_irq(s->i8259_irq[n], level);
95 } else {
96 qemu_set_irq(s->ioapic_irq[n], level);
97 }
98}
99
b881fbe9 100static void ioapic_init(GSIState *gsi_state)
96051119
BS
101{
102 DeviceState *dev;
103 SysBusDevice *d;
104 unsigned int i;
105
3d4b2649 106 if (kvm_irqchip_in_kernel()) {
a39c1d47
JK
107 dev = qdev_create(NULL, "kvm-ioapic");
108 } else {
109 dev = qdev_create(NULL, "ioapic");
110 }
20288345
PB
111 /* FIXME: this should be under the piix3. */
112 object_property_add_child(object_resolve_path("i440fx", NULL),
113 "ioapic", OBJECT(dev), NULL);
96051119
BS
114 qdev_init_nofail(dev);
115 d = sysbus_from_qdev(dev);
116 sysbus_mmio_map(d, 0, 0xfec00000);
117
118 for (i = 0; i < IOAPIC_NUM_PINS; i++) {
b881fbe9 119 gsi_state->ioapic_irq[i] = qdev_get_gpio_in(dev, i);
96051119
BS
120 }
121}
122
845773ab 123/* PC hardware initialisation */
6bd10515 124static void pc_init1(MemoryRegion *system_memory,
aee97b84 125 MemoryRegion *system_io,
6bd10515 126 ram_addr_t ram_size,
845773ab
IY
127 const char *boot_device,
128 const char *kernel_filename,
129 const char *kernel_cmdline,
130 const char *initrd_filename,
131 const char *cpu_model,
0ec329da
JK
132 int pci_enabled,
133 int kvmclock_enabled)
845773ab
IY
134{
135 int i;
136 ram_addr_t below_4g_mem_size, above_4g_mem_size;
137 PCIBus *pci_bus;
48a18b3c 138 ISABus *isa_bus;
845773ab
IY
139 PCII440FXState *i440fx_state;
140 int piix3_devfn = -1;
141 qemu_irq *cpu_irq;
b881fbe9 142 qemu_irq *gsi;
845773ab 143 qemu_irq *i8259;
845773ab 144 qemu_irq *smi_irq;
b881fbe9 145 GSIState *gsi_state;
845773ab 146 DriveInfo *hd[MAX_IDE_BUS * MAX_IDE_DEVS];
c0897e0c 147 BusState *idebus[MAX_IDE_BUS];
1d914fa0 148 ISADevice *rtc_state;
34d4260e 149 ISADevice *floppy;
ae0a5466
AK
150 MemoryRegion *ram_memory;
151 MemoryRegion *pci_memory;
4463aee6 152 MemoryRegion *rom_memory;
845773ab
IY
153
154 pc_cpus_init(cpu_model);
155
0ec329da
JK
156 if (kvmclock_enabled) {
157 kvmclock_create();
158 }
159
e0e7e67b
AP
160 if (ram_size >= 0xe0000000 ) {
161 above_4g_mem_size = ram_size - 0xe0000000;
162 below_4g_mem_size = 0xe0000000;
163 } else {
164 above_4g_mem_size = 0;
165 below_4g_mem_size = ram_size;
166 }
167
4463aee6
JK
168 if (pci_enabled) {
169 pci_memory = g_new(MemoryRegion, 1);
170 memory_region_init(pci_memory, "pci", INT64_MAX);
171 rom_memory = pci_memory;
172 } else {
173 pci_memory = NULL;
174 rom_memory = system_memory;
175 }
ae0a5466 176
845773ab 177 /* allocate ram and load rom/bios */
29d3ccde 178 if (!xen_enabled()) {
4aa63af1
AK
179 pc_memory_init(system_memory,
180 kernel_filename, kernel_cmdline, initrd_filename,
ae0a5466 181 below_4g_mem_size, above_4g_mem_size,
c1d23eac 182 pci_enabled ? rom_memory : system_memory, &ram_memory);
29d3ccde 183 }
845773ab 184
b881fbe9 185 gsi_state = g_malloc0(sizeof(*gsi_state));
3d4b2649 186 if (kvm_irqchip_in_kernel()) {
10b61882
JK
187 kvm_piix3_setup_irq_routing(pci_enabled);
188 gsi = qemu_allocate_irqs(kvm_piix3_gsi_handler, gsi_state,
189 GSI_NUM_PINS);
190 } else {
191 gsi = qemu_allocate_irqs(gsi_handler, gsi_state, GSI_NUM_PINS);
192 }
845773ab
IY
193
194 if (pci_enabled) {
60573079 195 pci_bus = i440fx_init(&i440fx_state, &piix3_devfn, &isa_bus, gsi,
ae0a5466
AK
196 system_memory, system_io, ram_size,
197 below_4g_mem_size,
198 0x100000000ULL - below_4g_mem_size,
199 0x100000000ULL + above_4g_mem_size,
200 (sizeof(target_phys_addr_t) == 4
201 ? 0
202 : ((uint64_t)1 << 62)),
203 pci_memory, ram_memory);
845773ab
IY
204 } else {
205 pci_bus = NULL;
02a89b21 206 i440fx_state = NULL;
48a18b3c 207 isa_bus = isa_bus_new(NULL, system_io);
57285cc3 208 no_hpet = 1;
845773ab 209 }
48a18b3c 210 isa_bus_irqs(isa_bus, gsi);
845773ab 211
3d4b2649 212 if (kvm_irqchip_in_kernel()) {
10b61882
JK
213 i8259 = kvm_i8259_init(isa_bus);
214 } else if (xen_enabled()) {
215 i8259 = xen_interrupt_controller_init();
216 } else {
4bae1efe 217 cpu_irq = pc_allocate_cpu_irq();
48a18b3c 218 i8259 = i8259_init(isa_bus, cpu_irq[0]);
4bae1efe
RH
219 }
220
43a0db35
JK
221 for (i = 0; i < ISA_NUM_IRQS; i++) {
222 gsi_state->i8259_irq[i] = i8259[i];
223 }
4bae1efe 224 if (pci_enabled) {
b881fbe9 225 ioapic_init(gsi_state);
4bae1efe
RH
226 }
227
b881fbe9 228 pc_register_ferr_irq(gsi[13]);
845773ab 229
f424d5c4 230 pc_vga_init(isa_bus, pci_enabled ? pci_bus : NULL);
01195b73
SS
231 if (xen_enabled()) {
232 pci_create_simple(pci_bus, -1, "xen-platform");
233 }
234
845773ab 235 /* init basic PC hardware */
48a18b3c 236 pc_basic_device_init(isa_bus, gsi, &rtc_state, &floppy, xen_enabled());
845773ab
IY
237
238 for(i = 0; i < nb_nics; i++) {
239 NICInfo *nd = &nd_table[i];
240
241 if (!pci_enabled || (nd->model && strcmp(nd->model, "ne2k_isa") == 0))
48a18b3c 242 pc_init_ne2k_isa(isa_bus, nd);
845773ab
IY
243 else
244 pci_nic_init_nofail(nd, "e1000", NULL);
245 }
246
75717903 247 ide_drive_get(hd, MAX_IDE_BUS);
845773ab 248 if (pci_enabled) {
c0897e0c 249 PCIDevice *dev;
679f4f8b
SS
250 if (xen_enabled()) {
251 dev = pci_piix3_xen_ide_init(pci_bus, hd, piix3_devfn + 1);
252 } else {
253 dev = pci_piix3_ide_init(pci_bus, hd, piix3_devfn + 1);
254 }
c0897e0c
MA
255 idebus[0] = qdev_get_child_bus(&dev->qdev, "ide.0");
256 idebus[1] = qdev_get_child_bus(&dev->qdev, "ide.1");
845773ab
IY
257 } else {
258 for(i = 0; i < MAX_IDE_BUS; i++) {
c0897e0c 259 ISADevice *dev;
48a18b3c
HP
260 dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i],
261 ide_irq[i],
c0897e0c
MA
262 hd[MAX_IDE_DEVS * i], hd[MAX_IDE_DEVS * i + 1]);
263 idebus[i] = qdev_get_child_bus(&dev->qdev, "ide.0");
845773ab
IY
264 }
265 }
266
4a0f031d 267 audio_init(isa_bus, pci_enabled ? pci_bus : NULL);
845773ab 268
c0897e0c 269 pc_cmos_init(below_4g_mem_size, above_4g_mem_size, boot_device,
34d4260e 270 floppy, idebus[0], idebus[1], rtc_state);
845773ab
IY
271
272 if (pci_enabled && usb_enabled) {
afb9a60e 273 pci_create_simple(pci_bus, piix3_devfn + 2, "piix3-usb-uhci");
845773ab
IY
274 }
275
276 if (pci_enabled && acpi_enabled) {
845773ab
IY
277 i2c_bus *smbus;
278
845773ab
IY
279 smi_irq = qemu_allocate_irqs(pc_acpi_smi_interrupt, first_cpu, 1);
280 /* TODO: Populate SPD eeprom data. */
281 smbus = piix4_pm_init(pci_bus, piix3_devfn + 3, 0xb100,
da98c8eb 282 gsi[9], *smi_irq,
845773ab 283 kvm_enabled());
a88df0b9 284 smbus_eeprom_init(smbus, 8, NULL, 0);
845773ab
IY
285 }
286
845773ab
IY
287 if (pci_enabled) {
288 pc_pci_device_init(pci_bus);
289 }
290}
291
292static void pc_init_pci(ram_addr_t ram_size,
293 const char *boot_device,
294 const char *kernel_filename,
295 const char *kernel_cmdline,
296 const char *initrd_filename,
297 const char *cpu_model)
298{
6bd10515 299 pc_init1(get_system_memory(),
aee97b84 300 get_system_io(),
6bd10515 301 ram_size, boot_device,
845773ab 302 kernel_filename, kernel_cmdline,
0ec329da
JK
303 initrd_filename, cpu_model, 1, 1);
304}
305
306static void pc_init_pci_no_kvmclock(ram_addr_t ram_size,
307 const char *boot_device,
308 const char *kernel_filename,
309 const char *kernel_cmdline,
310 const char *initrd_filename,
311 const char *cpu_model)
312{
6bd10515 313 pc_init1(get_system_memory(),
aee97b84 314 get_system_io(),
6bd10515 315 ram_size, boot_device,
0ec329da
JK
316 kernel_filename, kernel_cmdline,
317 initrd_filename, cpu_model, 1, 0);
845773ab
IY
318}
319
320static void pc_init_isa(ram_addr_t ram_size,
321 const char *boot_device,
322 const char *kernel_filename,
323 const char *kernel_cmdline,
324 const char *initrd_filename,
325 const char *cpu_model)
326{
327 if (cpu_model == NULL)
328 cpu_model = "486";
6bd10515 329 pc_init1(get_system_memory(),
aee97b84 330 get_system_io(),
6bd10515 331 ram_size, boot_device,
845773ab 332 kernel_filename, kernel_cmdline,
0ec329da 333 initrd_filename, cpu_model, 0, 1);
845773ab
IY
334}
335
29d3ccde
AP
336#ifdef CONFIG_XEN
337static void pc_xen_hvm_init(ram_addr_t ram_size,
338 const char *boot_device,
339 const char *kernel_filename,
340 const char *kernel_cmdline,
341 const char *initrd_filename,
342 const char *cpu_model)
343{
344 if (xen_hvm_init() != 0) {
345 hw_error("xen hardware virtual machine initialisation failed");
346 }
347 pc_init_pci_no_kvmclock(ram_size, boot_device,
348 kernel_filename, kernel_cmdline,
349 initrd_filename, cpu_model);
350 xen_vcpu_init();
351}
352#endif
353
382b3a68
JJ
354static QEMUMachine pc_machine_v1_1 = {
355 .name = "pc-1.1",
845773ab
IY
356 .alias = "pc",
357 .desc = "Standard PC",
358 .init = pc_init_pci,
359 .max_cpus = 255,
360 .is_default = 1,
361};
362
d6c73008
MT
363#define PC_COMPAT_1_0 \
364 {\
365 .driver = "pc-sysfw",\
366 .property = "rom_only",\
367 .value = stringify(1),\
368 }, {\
369 .driver = "isa-fdc",\
370 .property = "check_media_rate",\
371 .value = "off",\
2ba1d381
DG
372 }, {\
373 .driver = "virtio-balloon-pci",\
374 .property = "class",\
375 .value = stringify(PCI_CLASS_MEMORY_RAM),\
d6c73008
MT
376 }
377
382b3a68
JJ
378static QEMUMachine pc_machine_v1_0 = {
379 .name = "pc-1.0",
380 .desc = "Standard PC",
381 .init = pc_init_pci,
382 .max_cpus = 255,
1b89fafe 383 .compat_props = (GlobalProperty[]) {
d6c73008 384 PC_COMPAT_1_0,
1b89fafe
JJ
385 { /* end of list */ }
386 },
382b3a68
JJ
387};
388
d6c73008
MT
389#define PC_COMPAT_0_15 \
390 PC_COMPAT_1_0
391
ce01a508
AL
392static QEMUMachine pc_machine_v0_15 = {
393 .name = "pc-0.15",
394 .desc = "Standard PC",
395 .init = pc_init_pci,
396 .max_cpus = 255,
1b89fafe 397 .compat_props = (GlobalProperty[]) {
d6c73008 398 PC_COMPAT_0_15,
1b89fafe
JJ
399 { /* end of list */ }
400 },
ce01a508
AL
401};
402
d6c73008
MT
403#define PC_COMPAT_0_14 \
404 PC_COMPAT_0_15,\
405 {\
406 .driver = "virtio-blk-pci",\
407 .property = "event_idx",\
408 .value = "off",\
409 },{\
410 .driver = "virtio-serial-pci",\
411 .property = "event_idx",\
412 .value = "off",\
413 },{\
414 .driver = "virtio-net-pci",\
415 .property = "event_idx",\
416 .value = "off",\
417 },{\
418 .driver = "virtio-balloon-pci",\
419 .property = "event_idx",\
420 .value = "off",\
421 }
422
19857e62
GH
423static QEMUMachine pc_machine_v0_14 = {
424 .name = "pc-0.14",
425 .desc = "Standard PC",
426 .init = pc_init_pci,
427 .max_cpus = 255,
3827cdb1 428 .compat_props = (GlobalProperty[]) {
d6c73008 429 PC_COMPAT_0_14,
3827cdb1
AL
430 {
431 .driver = "qxl",
432 .property = "revision",
433 .value = stringify(2),
434 },{
435 .driver = "qxl-vga",
436 .property = "revision",
437 .value = stringify(2),
1b89fafe 438 },
3827cdb1
AL
439 { /* end of list */ }
440 },
19857e62
GH
441};
442
d6c73008
MT
443#define PC_COMPAT_0_13 \
444 PC_COMPAT_0_14,\
445 {\
446 .driver = "PCI",\
447 .property = "command_serr_enable",\
448 .value = "off",\
449 },{\
450 .driver = "AC97",\
451 .property = "use_broken_id",\
452 .value = stringify(1),\
453 }
454
b903a0f7
GH
455static QEMUMachine pc_machine_v0_13 = {
456 .name = "pc-0.13",
457 .desc = "Standard PC",
0ec329da 458 .init = pc_init_pci_no_kvmclock,
b903a0f7 459 .max_cpus = 255,
9dbcca5a 460 .compat_props = (GlobalProperty[]) {
d6c73008 461 PC_COMPAT_0_13,
9dbcca5a
GH
462 {
463 .driver = "virtio-9p-pci",
464 .property = "vectors",
465 .value = stringify(0),
281a26b1
GH
466 },{
467 .driver = "VGA",
468 .property = "rombar",
469 .value = stringify(0),
470 },{
471 .driver = "vmware-svga",
472 .property = "rombar",
473 .value = stringify(0),
1b89fafe 474 },
9dbcca5a
GH
475 { /* end of list */ }
476 },
b903a0f7
GH
477};
478
d6c73008
MT
479#define PC_COMPAT_0_12 \
480 PC_COMPAT_0_13,\
481 {\
482 .driver = "virtio-serial-pci",\
483 .property = "max_ports",\
484 .value = stringify(1),\
485 },{\
486 .driver = "virtio-serial-pci",\
487 .property = "vectors",\
488 .value = stringify(0),\
489 }
490
845773ab
IY
491static QEMUMachine pc_machine_v0_12 = {
492 .name = "pc-0.12",
493 .desc = "Standard PC",
0ec329da 494 .init = pc_init_pci_no_kvmclock,
845773ab
IY
495 .max_cpus = 255,
496 .compat_props = (GlobalProperty[]) {
d6c73008 497 PC_COMPAT_0_12,
845773ab 498 {
281a26b1
GH
499 .driver = "VGA",
500 .property = "rombar",
501 .value = stringify(0),
502 },{
503 .driver = "vmware-svga",
504 .property = "rombar",
505 .value = stringify(0),
1b89fafe 506 },
845773ab
IY
507 { /* end of list */ }
508 }
509};
510
d6c73008
MT
511#define PC_COMPAT_0_11 \
512 PC_COMPAT_0_12,\
513 {\
514 .driver = "virtio-blk-pci",\
515 .property = "vectors",\
516 .value = stringify(0),\
517 }
518
845773ab
IY
519static QEMUMachine pc_machine_v0_11 = {
520 .name = "pc-0.11",
521 .desc = "Standard PC, qemu 0.11",
0ec329da 522 .init = pc_init_pci_no_kvmclock,
845773ab
IY
523 .max_cpus = 255,
524 .compat_props = (GlobalProperty[]) {
d6c73008 525 PC_COMPAT_0_11,
845773ab 526 {
845773ab
IY
527 .driver = "ide-drive",
528 .property = "ver",
529 .value = "0.11",
530 },{
531 .driver = "scsi-disk",
532 .property = "ver",
533 .value = "0.11",
1b89fafe 534 },
845773ab
IY
535 { /* end of list */ }
536 }
537};
538
539static QEMUMachine pc_machine_v0_10 = {
540 .name = "pc-0.10",
541 .desc = "Standard PC, qemu 0.10",
0ec329da 542 .init = pc_init_pci_no_kvmclock,
845773ab
IY
543 .max_cpus = 255,
544 .compat_props = (GlobalProperty[]) {
d6c73008 545 PC_COMPAT_0_11,
845773ab
IY
546 {
547 .driver = "virtio-blk-pci",
548 .property = "class",
549 .value = stringify(PCI_CLASS_STORAGE_OTHER),
550 },{
551 .driver = "virtio-serial-pci",
552 .property = "class",
553 .value = stringify(PCI_CLASS_DISPLAY_OTHER),
845773ab
IY
554 },{
555 .driver = "virtio-net-pci",
556 .property = "vectors",
557 .value = stringify(0),
845773ab
IY
558 },{
559 .driver = "ide-drive",
560 .property = "ver",
561 .value = "0.10",
562 },{
563 .driver = "scsi-disk",
564 .property = "ver",
565 .value = "0.10",
1b89fafe 566 },
845773ab
IY
567 { /* end of list */ }
568 },
569};
570
571static QEMUMachine isapc_machine = {
572 .name = "isapc",
573 .desc = "ISA-only PC",
574 .init = pc_init_isa,
575 .max_cpus = 1,
1b89fafe
JJ
576 .compat_props = (GlobalProperty[]) {
577 {
578 .driver = "pc-sysfw",
579 .property = "rom_only",
580 .value = stringify(1),
581 },
582 { /* end of list */ }
583 },
845773ab
IY
584};
585
29d3ccde
AP
586#ifdef CONFIG_XEN
587static QEMUMachine xenfv_machine = {
588 .name = "xenfv",
589 .desc = "Xen Fully-virtualized PC",
590 .init = pc_xen_hvm_init,
591 .max_cpus = HVM_MAX_VCPUS,
592 .default_machine_opts = "accel=xen",
593};
594#endif
595
845773ab
IY
596static void pc_machine_init(void)
597{
382b3a68 598 qemu_register_machine(&pc_machine_v1_1);
19857e62 599 qemu_register_machine(&pc_machine_v1_0);
ce01a508 600 qemu_register_machine(&pc_machine_v0_15);
19857e62 601 qemu_register_machine(&pc_machine_v0_14);
b903a0f7 602 qemu_register_machine(&pc_machine_v0_13);
845773ab
IY
603 qemu_register_machine(&pc_machine_v0_12);
604 qemu_register_machine(&pc_machine_v0_11);
605 qemu_register_machine(&pc_machine_v0_10);
606 qemu_register_machine(&isapc_machine);
29d3ccde
AP
607#ifdef CONFIG_XEN
608 qemu_register_machine(&xenfv_machine);
609#endif
845773ab
IY
610}
611
612machine_init(pc_machine_init);