Statistics
| Branch: | Revision:

root / hw / pc_piix.c @ f4306941

History | View | Annotate | Download (19.5 kB)

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.h"
31
#include "pci_ids.h"
32
#include "usb.h"
33
#include "net.h"
34
#include "boards.h"
35
#include "ide.h"
36
#include "kvm.h"
37
#include "kvm/clock.h"
38
#include "sysemu.h"
39
#include "sysbus.h"
40
#include "arch_init.h"
41
#include "blockdev.h"
42
#include "smbus.h"
43
#include "xen.h"
44
#include "memory.h"
45
#include "exec-memory.h"
46
#ifdef CONFIG_XEN
47
#  include <xen/hvm/hvm_info_table.h>
48
#endif
49

    
50
#define MAX_IDE_BUS 2
51

    
52
static const int ide_iobase[MAX_IDE_BUS] = { 0x1f0, 0x170 };
53
static const int ide_iobase2[MAX_IDE_BUS] = { 0x3f6, 0x376 };
54
static const int ide_irq[MAX_IDE_BUS] = { 14, 15 };
55

    
56
static void kvm_piix3_setup_irq_routing(bool pci_enabled)
57
{
58
#ifdef CONFIG_KVM
59
    KVMState *s = kvm_state;
60
    int i;
61

    
62
    if (kvm_check_extension(s, KVM_CAP_IRQ_ROUTING)) {
63
        for (i = 0; i < 8; ++i) {
64
            if (i == 2) {
65
                continue;
66
            }
67
            kvm_irqchip_add_irq_route(s, i, KVM_IRQCHIP_PIC_MASTER, i);
68
        }
69
        for (i = 8; i < 16; ++i) {
70
            kvm_irqchip_add_irq_route(s, i, KVM_IRQCHIP_PIC_SLAVE, i - 8);
71
        }
72
        if (pci_enabled) {
73
            for (i = 0; i < 24; ++i) {
74
                if (i == 0) {
75
                    kvm_irqchip_add_irq_route(s, i, KVM_IRQCHIP_IOAPIC, 2);
76
                } else if (i != 2) {
77
                    kvm_irqchip_add_irq_route(s, i, KVM_IRQCHIP_IOAPIC, i);
78
                }
79
            }
80
        }
81
    }
82
#endif /* CONFIG_KVM */
83
}
84

    
85
static void kvm_piix3_gsi_handler(void *opaque, int n, int level)
86
{
87
    GSIState *s = opaque;
88

    
89
    if (n < ISA_NUM_IRQS) {
90
        /* Kernel will forward to both PIC and IOAPIC */
91
        qemu_set_irq(s->i8259_irq[n], level);
92
    } else {
93
        qemu_set_irq(s->ioapic_irq[n], level);
94
    }
95
}
96

    
97
static void ioapic_init(GSIState *gsi_state)
98
{
99
    DeviceState *dev;
100
    SysBusDevice *d;
101
    unsigned int i;
102

    
103
    if (kvm_irqchip_in_kernel()) {
104
        dev = qdev_create(NULL, "kvm-ioapic");
105
    } else {
106
        dev = qdev_create(NULL, "ioapic");
107
    }
108
    /* FIXME: this should be under the piix3.  */
109
    object_property_add_child(object_resolve_path("i440fx", NULL),
110
                              "ioapic", OBJECT(dev), NULL);
111
    qdev_init_nofail(dev);
112
    d = sysbus_from_qdev(dev);
113
    sysbus_mmio_map(d, 0, 0xfec00000);
114

    
115
    for (i = 0; i < IOAPIC_NUM_PINS; i++) {
116
        gsi_state->ioapic_irq[i] = qdev_get_gpio_in(dev, i);
117
    }
118
}
119

    
120
/* PC hardware initialisation */
121
static void pc_init1(MemoryRegion *system_memory,
122
                     MemoryRegion *system_io,
123
                     ram_addr_t ram_size,
124
                     const char *boot_device,
125
                     const char *kernel_filename,
126
                     const char *kernel_cmdline,
127
                     const char *initrd_filename,
128
                     const char *cpu_model,
129
                     int pci_enabled,
130
                     int kvmclock_enabled)
131
{
132
    int i;
133
    ram_addr_t below_4g_mem_size, above_4g_mem_size;
134
    PCIBus *pci_bus;
135
    ISABus *isa_bus;
136
    PCII440FXState *i440fx_state;
137
    int piix3_devfn = -1;
138
    qemu_irq *cpu_irq;
139
    qemu_irq *gsi;
140
    qemu_irq *i8259;
141
    qemu_irq *smi_irq;
142
    GSIState *gsi_state;
143
    DriveInfo *hd[MAX_IDE_BUS * MAX_IDE_DEVS];
144
    BusState *idebus[MAX_IDE_BUS];
145
    ISADevice *rtc_state;
146
    ISADevice *floppy;
147
    MemoryRegion *ram_memory;
148
    MemoryRegion *pci_memory;
149
    MemoryRegion *rom_memory;
150
    void *fw_cfg = NULL;
151

    
152
    pc_cpus_init(cpu_model);
153

    
154
    if (kvmclock_enabled) {
155
        kvmclock_create();
156
    }
157

    
158
    if (ram_size >= 0xe0000000 ) {
159
        above_4g_mem_size = ram_size - 0xe0000000;
160
        below_4g_mem_size = 0xe0000000;
161
    } else {
162
        above_4g_mem_size = 0;
163
        below_4g_mem_size = ram_size;
164
    }
165

    
166
    if (pci_enabled) {
167
        pci_memory = g_new(MemoryRegion, 1);
168
        memory_region_init(pci_memory, "pci", INT64_MAX);
169
        rom_memory = pci_memory;
170
    } else {
171
        pci_memory = NULL;
172
        rom_memory = system_memory;
173
    }
174

    
175
    /* allocate ram and load rom/bios */
176
    if (!xen_enabled()) {
177
        fw_cfg = pc_memory_init(system_memory,
178
                       kernel_filename, kernel_cmdline, initrd_filename,
179
                       below_4g_mem_size, above_4g_mem_size,
180
                       pci_enabled ? rom_memory : system_memory, &ram_memory);
181
    }
182

    
183
    gsi_state = g_malloc0(sizeof(*gsi_state));
184
    if (kvm_irqchip_in_kernel()) {
185
        kvm_piix3_setup_irq_routing(pci_enabled);
186
        gsi = qemu_allocate_irqs(kvm_piix3_gsi_handler, gsi_state,
187
                                 GSI_NUM_PINS);
188
    } else {
189
        gsi = qemu_allocate_irqs(gsi_handler, gsi_state, GSI_NUM_PINS);
190
    }
191

    
192
    if (pci_enabled) {
193
        pci_bus = i440fx_init(&i440fx_state, &piix3_devfn, &isa_bus, gsi,
194
                              system_memory, system_io, ram_size,
195
                              below_4g_mem_size,
196
                              0x100000000ULL - below_4g_mem_size,
197
                              0x100000000ULL + above_4g_mem_size,
198
                              (sizeof(target_phys_addr_t) == 4
199
                               ? 0
200
                               : ((uint64_t)1 << 62)),
201
                              pci_memory, ram_memory);
202
    } else {
203
        pci_bus = NULL;
204
        i440fx_state = NULL;
205
        isa_bus = isa_bus_new(NULL, system_io);
206
        no_hpet = 1;
207
    }
208
    isa_bus_irqs(isa_bus, gsi);
209

    
210
    if (kvm_irqchip_in_kernel()) {
211
        i8259 = kvm_i8259_init(isa_bus);
212
    } else if (xen_enabled()) {
213
        i8259 = xen_interrupt_controller_init();
214
    } else {
215
        cpu_irq = pc_allocate_cpu_irq();
216
        i8259 = i8259_init(isa_bus, cpu_irq[0]);
217
    }
218

    
219
    for (i = 0; i < ISA_NUM_IRQS; i++) {
220
        gsi_state->i8259_irq[i] = i8259[i];
221
    }
222
    if (pci_enabled) {
223
        ioapic_init(gsi_state);
224
    }
225

    
226
    pc_register_ferr_irq(gsi[13]);
227

    
228
    pc_vga_init(isa_bus, pci_enabled ? pci_bus : NULL);
229
    if (xen_enabled()) {
230
        pci_create_simple(pci_bus, -1, "xen-platform");
231
    }
232

    
233
    /* init basic PC hardware */
234
    pc_basic_device_init(isa_bus, gsi, &rtc_state, &floppy, xen_enabled());
235

    
236
    for(i = 0; i < nb_nics; i++) {
237
        NICInfo *nd = &nd_table[i];
238

    
239
        if (!pci_enabled || (nd->model && strcmp(nd->model, "ne2k_isa") == 0))
240
            pc_init_ne2k_isa(isa_bus, nd);
241
        else
242
            pci_nic_init_nofail(nd, "e1000", NULL);
243
    }
244

    
245
    ide_drive_get(hd, MAX_IDE_BUS);
246
    if (pci_enabled) {
247
        PCIDevice *dev;
248
        if (xen_enabled()) {
249
            dev = pci_piix3_xen_ide_init(pci_bus, hd, piix3_devfn + 1);
250
        } else {
251
            dev = pci_piix3_ide_init(pci_bus, hd, piix3_devfn + 1);
252
        }
253
        idebus[0] = qdev_get_child_bus(&dev->qdev, "ide.0");
254
        idebus[1] = qdev_get_child_bus(&dev->qdev, "ide.1");
255
    } else {
256
        for(i = 0; i < MAX_IDE_BUS; i++) {
257
            ISADevice *dev;
258
            dev = isa_ide_init(isa_bus, ide_iobase[i], ide_iobase2[i],
259
                               ide_irq[i],
260
                               hd[MAX_IDE_DEVS * i], hd[MAX_IDE_DEVS * i + 1]);
261
            idebus[i] = qdev_get_child_bus(&dev->qdev, "ide.0");
262
        }
263
    }
264

    
265
    audio_init(isa_bus, pci_enabled ? pci_bus : NULL);
266

    
267
    pc_cmos_init(below_4g_mem_size, above_4g_mem_size, boot_device,
268
                 floppy, idebus[0], idebus[1], rtc_state);
269

    
270
    if (pci_enabled && usb_enabled) {
271
        pci_create_simple(pci_bus, piix3_devfn + 2, "piix3-usb-uhci");
272
    }
273

    
274
    if (pci_enabled && acpi_enabled) {
275
        i2c_bus *smbus;
276

    
277
        smi_irq = qemu_allocate_irqs(pc_acpi_smi_interrupt, first_cpu, 1);
278
        /* TODO: Populate SPD eeprom data.  */
279
        smbus = piix4_pm_init(pci_bus, piix3_devfn + 3, 0xb100,
280
                              gsi[9], *smi_irq,
281
                              kvm_enabled(), fw_cfg);
282
        smbus_eeprom_init(smbus, 8, NULL, 0);
283
    }
284

    
285
    if (pci_enabled) {
286
        pc_pci_device_init(pci_bus);
287
    }
288
}
289

    
290
static void pc_init_pci(ram_addr_t ram_size,
291
                        const char *boot_device,
292
                        const char *kernel_filename,
293
                        const char *kernel_cmdline,
294
                        const char *initrd_filename,
295
                        const char *cpu_model)
296
{
297
    pc_init1(get_system_memory(),
298
             get_system_io(),
299
             ram_size, boot_device,
300
             kernel_filename, kernel_cmdline,
301
             initrd_filename, cpu_model, 1, 1);
302
}
303

    
304
static void pc_init_pci_no_kvmclock(ram_addr_t ram_size,
305
                                    const char *boot_device,
306
                                    const char *kernel_filename,
307
                                    const char *kernel_cmdline,
308
                                    const char *initrd_filename,
309
                                    const char *cpu_model)
310
{
311
    pc_init1(get_system_memory(),
312
             get_system_io(),
313
             ram_size, boot_device,
314
             kernel_filename, kernel_cmdline,
315
             initrd_filename, cpu_model, 1, 0);
316
}
317

    
318
static void pc_init_isa(ram_addr_t ram_size,
319
                        const char *boot_device,
320
                        const char *kernel_filename,
321
                        const char *kernel_cmdline,
322
                        const char *initrd_filename,
323
                        const char *cpu_model)
324
{
325
    if (cpu_model == NULL)
326
        cpu_model = "486";
327
    pc_init1(get_system_memory(),
328
             get_system_io(),
329
             ram_size, boot_device,
330
             kernel_filename, kernel_cmdline,
331
             initrd_filename, cpu_model, 0, 1);
332
}
333

    
334
#ifdef CONFIG_XEN
335
static void pc_xen_hvm_init(ram_addr_t ram_size,
336
                            const char *boot_device,
337
                            const char *kernel_filename,
338
                            const char *kernel_cmdline,
339
                            const char *initrd_filename,
340
                            const char *cpu_model)
341
{
342
    if (xen_hvm_init() != 0) {
343
        hw_error("xen hardware virtual machine initialisation failed");
344
    }
345
    pc_init_pci_no_kvmclock(ram_size, boot_device,
346
                            kernel_filename, kernel_cmdline,
347
                            initrd_filename, cpu_model);
348
    xen_vcpu_init();
349
}
350
#endif
351

    
352
static QEMUMachine pc_machine_v1_3 = {
353
    .name = "pc-1.3",
354
    .alias = "pc",
355
    .desc = "Standard PC",
356
    .init = pc_init_pci,
357
    .max_cpus = 255,
358
    .is_default = 1,
359
};
360

    
361
static QEMUMachine pc_machine_v1_2 = {
362
    .name = "pc-1.2",
363
    .desc = "Standard PC",
364
    .init = pc_init_pci,
365
    .max_cpus = 255,
366
};
367

    
368
#define PC_COMPAT_1_1 \
369
        {\
370
            .driver   = "virtio-scsi-pci",\
371
            .property = "hotplug",\
372
            .value    = "off",\
373
        },{\
374
            .driver   = "virtio-scsi-pci",\
375
            .property = "param_change",\
376
            .value    = "off",\
377
        },{\
378
            .driver   = "VGA",\
379
            .property = "vgamem_mb",\
380
            .value    = stringify(8),\
381
        },{\
382
            .driver   = "vmware-svga",\
383
            .property = "vgamem_mb",\
384
            .value    = stringify(8),\
385
        },{\
386
            .driver   = "qxl-vga",\
387
            .property = "vgamem_mb",\
388
            .value    = stringify(8),\
389
        },{\
390
            .driver   = "qxl",\
391
            .property = "vgamem_mb",\
392
            .value    = stringify(8),\
393
        },{\
394
            .driver   = "virtio-blk-pci",\
395
            .property = "config-wce",\
396
            .value    = "off",\
397
        }
398

    
399
static QEMUMachine pc_machine_v1_1 = {
400
    .name = "pc-1.1",
401
    .desc = "Standard PC",
402
    .init = pc_init_pci,
403
    .max_cpus = 255,
404
    .compat_props = (GlobalProperty[]) {
405
        PC_COMPAT_1_1,
406
        { /* end of list */ }
407
    },
408
};
409

    
410
#define PC_COMPAT_1_0 \
411
        PC_COMPAT_1_1,\
412
        {\
413
            .driver   = "pc-sysfw",\
414
            .property = "rom_only",\
415
            .value    = stringify(1),\
416
        }, {\
417
            .driver   = "isa-fdc",\
418
            .property = "check_media_rate",\
419
            .value    = "off",\
420
        }, {\
421
            .driver   = "virtio-balloon-pci",\
422
            .property = "class",\
423
            .value    = stringify(PCI_CLASS_MEMORY_RAM),\
424
        },{\
425
            .driver   = "apic",\
426
            .property = "vapic",\
427
            .value    = "off",\
428
        },{\
429
            .driver   = TYPE_USB_DEVICE,\
430
            .property = "full-path",\
431
            .value    = "no",\
432
        }
433

    
434
static QEMUMachine pc_machine_v1_0 = {
435
    .name = "pc-1.0",
436
    .desc = "Standard PC",
437
    .init = pc_init_pci,
438
    .max_cpus = 255,
439
    .compat_props = (GlobalProperty[]) {
440
        PC_COMPAT_1_0,
441
        { /* end of list */ }
442
    },
443
    .hw_version = "1.0",
444
};
445

    
446
#define PC_COMPAT_0_15 \
447
        PC_COMPAT_1_0
448

    
449
static QEMUMachine pc_machine_v0_15 = {
450
    .name = "pc-0.15",
451
    .desc = "Standard PC",
452
    .init = pc_init_pci,
453
    .max_cpus = 255,
454
    .compat_props = (GlobalProperty[]) {
455
        PC_COMPAT_0_15,
456
        { /* end of list */ }
457
    },
458
    .hw_version = "0.15",
459
};
460

    
461
#define PC_COMPAT_0_14 \
462
        PC_COMPAT_0_15,\
463
        {\
464
            .driver   = "virtio-blk-pci",\
465
            .property = "event_idx",\
466
            .value    = "off",\
467
        },{\
468
            .driver   = "virtio-serial-pci",\
469
            .property = "event_idx",\
470
            .value    = "off",\
471
        },{\
472
            .driver   = "virtio-net-pci",\
473
            .property = "event_idx",\
474
            .value    = "off",\
475
        },{\
476
            .driver   = "virtio-balloon-pci",\
477
            .property = "event_idx",\
478
            .value    = "off",\
479
        }
480

    
481
static QEMUMachine pc_machine_v0_14 = {
482
    .name = "pc-0.14",
483
    .desc = "Standard PC",
484
    .init = pc_init_pci,
485
    .max_cpus = 255,
486
    .compat_props = (GlobalProperty[]) {
487
        PC_COMPAT_0_14, 
488
        {
489
            .driver   = "qxl",
490
            .property = "revision",
491
            .value    = stringify(2),
492
        },{
493
            .driver   = "qxl-vga",
494
            .property = "revision",
495
            .value    = stringify(2),
496
        },
497
        { /* end of list */ }
498
    },
499
    .hw_version = "0.14",
500
};
501

    
502
#define PC_COMPAT_0_13 \
503
        PC_COMPAT_0_14,\
504
        {\
505
            .driver   = TYPE_PCI_DEVICE,\
506
            .property = "command_serr_enable",\
507
            .value    = "off",\
508
        },{\
509
            .driver   = "AC97",\
510
            .property = "use_broken_id",\
511
            .value    = stringify(1),\
512
        }
513

    
514
static QEMUMachine pc_machine_v0_13 = {
515
    .name = "pc-0.13",
516
    .desc = "Standard PC",
517
    .init = pc_init_pci_no_kvmclock,
518
    .max_cpus = 255,
519
    .compat_props = (GlobalProperty[]) {
520
        PC_COMPAT_0_13,
521
        {
522
            .driver   = "virtio-9p-pci",
523
            .property = "vectors",
524
            .value    = stringify(0),
525
        },{
526
            .driver   = "VGA",
527
            .property = "rombar",
528
            .value    = stringify(0),
529
        },{
530
            .driver   = "vmware-svga",
531
            .property = "rombar",
532
            .value    = stringify(0),
533
        },
534
        { /* end of list */ }
535
    },
536
    .hw_version = "0.13",
537
};
538

    
539
#define PC_COMPAT_0_12 \
540
        PC_COMPAT_0_13,\
541
        {\
542
            .driver   = "virtio-serial-pci",\
543
            .property = "max_ports",\
544
            .value    = stringify(1),\
545
        },{\
546
            .driver   = "virtio-serial-pci",\
547
            .property = "vectors",\
548
            .value    = stringify(0),\
549
        }
550

    
551
static QEMUMachine pc_machine_v0_12 = {
552
    .name = "pc-0.12",
553
    .desc = "Standard PC",
554
    .init = pc_init_pci_no_kvmclock,
555
    .max_cpus = 255,
556
    .compat_props = (GlobalProperty[]) {
557
        PC_COMPAT_0_12,
558
        {
559
            .driver   = "VGA",
560
            .property = "rombar",
561
            .value    = stringify(0),
562
        },{
563
            .driver   = "vmware-svga",
564
            .property = "rombar",
565
            .value    = stringify(0),
566
        },
567
        { /* end of list */ }
568
    },
569
    .hw_version = "0.12",
570
};
571

    
572
#define PC_COMPAT_0_11 \
573
        PC_COMPAT_0_12,\
574
        {\
575
            .driver   = "virtio-blk-pci",\
576
            .property = "vectors",\
577
            .value    = stringify(0),\
578
        },{\
579
            .driver   = TYPE_PCI_DEVICE,\
580
            .property = "rombar",\
581
            .value    = stringify(0),\
582
        }
583

    
584
static QEMUMachine pc_machine_v0_11 = {
585
    .name = "pc-0.11",
586
    .desc = "Standard PC, qemu 0.11",
587
    .init = pc_init_pci_no_kvmclock,
588
    .max_cpus = 255,
589
    .compat_props = (GlobalProperty[]) {
590
        PC_COMPAT_0_11,
591
        {
592
            .driver   = "ide-drive",
593
            .property = "ver",
594
            .value    = "0.11",
595
        },{
596
            .driver   = "scsi-disk",
597
            .property = "ver",
598
            .value    = "0.11",
599
        },
600
        { /* end of list */ }
601
    },
602
    .hw_version = "0.11",
603
};
604

    
605
static QEMUMachine pc_machine_v0_10 = {
606
    .name = "pc-0.10",
607
    .desc = "Standard PC, qemu 0.10",
608
    .init = pc_init_pci_no_kvmclock,
609
    .max_cpus = 255,
610
    .compat_props = (GlobalProperty[]) {
611
        PC_COMPAT_0_11,
612
        {
613
            .driver   = "virtio-blk-pci",
614
            .property = "class",
615
            .value    = stringify(PCI_CLASS_STORAGE_OTHER),
616
        },{
617
            .driver   = "virtio-serial-pci",
618
            .property = "class",
619
            .value    = stringify(PCI_CLASS_DISPLAY_OTHER),
620
        },{
621
            .driver   = "virtio-net-pci",
622
            .property = "vectors",
623
            .value    = stringify(0),
624
        },{
625
            .driver   = "ide-drive",
626
            .property = "ver",
627
            .value    = "0.10",
628
        },{
629
            .driver   = "scsi-disk",
630
            .property = "ver",
631
            .value    = "0.10",
632
        },
633
        { /* end of list */ }
634
    },
635
    .hw_version = "0.10",
636
};
637

    
638
static QEMUMachine isapc_machine = {
639
    .name = "isapc",
640
    .desc = "ISA-only PC",
641
    .init = pc_init_isa,
642
    .max_cpus = 1,
643
    .compat_props = (GlobalProperty[]) {
644
        {
645
            .driver   = "pc-sysfw",
646
            .property = "rom_only",
647
            .value    = stringify(1),
648
        },
649
        { /* end of list */ }
650
    },
651
};
652

    
653
#ifdef CONFIG_XEN
654
static QEMUMachine xenfv_machine = {
655
    .name = "xenfv",
656
    .desc = "Xen Fully-virtualized PC",
657
    .init = pc_xen_hvm_init,
658
    .max_cpus = HVM_MAX_VCPUS,
659
    .default_machine_opts = "accel=xen",
660
};
661
#endif
662

    
663
static void pc_machine_init(void)
664
{
665
    qemu_register_machine(&pc_machine_v1_3);
666
    qemu_register_machine(&pc_machine_v1_2);
667
    qemu_register_machine(&pc_machine_v1_1);
668
    qemu_register_machine(&pc_machine_v1_0);
669
    qemu_register_machine(&pc_machine_v0_15);
670
    qemu_register_machine(&pc_machine_v0_14);
671
    qemu_register_machine(&pc_machine_v0_13);
672
    qemu_register_machine(&pc_machine_v0_12);
673
    qemu_register_machine(&pc_machine_v0_11);
674
    qemu_register_machine(&pc_machine_v0_10);
675
    qemu_register_machine(&isapc_machine);
676
#ifdef CONFIG_XEN
677
    qemu_register_machine(&xenfv_machine);
678
#endif
679
}
680

    
681
machine_init(pc_machine_init);