hw/piix_pci.c

   1 /*
   2  * QEMU i440FX/PIIX3 PCI Bridge Emulation
   3  *
   4  * Copyright (c) 2006 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 "hw.h"
  26 #include "pc.h"
  27 #include "pci.h"
  28 #include "pci_host.h"
  29 #include "isa.h"
  30 #include "sysbus.h"
  31 #include "range.h"
  32 #include "xen.h"
  33
  34 /*
  35  * I440FX chipset data sheet.
  36  * http://download.intel.com/design/chipsets/datashts/29054901.pdf
  37  */
  38
  39 typedef PCIHostState I440FXState;
  40
  41 #define PIIX_NUM_PIC_IRQS       16      /* i8259 * 2 */
  42 #define PIIX_NUM_PIRQS          4ULL    /* PIRQ[A-D] */
  43 #define XEN_PIIX_NUM_PIRQS      128ULL
  44 #define PIIX_PIRQC              0x60
  45
  46 typedef struct PIIX3State {
  47     PCIDevice dev;
  48
  49     /*
  50      * bitmap to track pic levels.
  51      * The pic level is the logical OR of all the PCI irqs mapped to it
  52      * So one PIC level is tracked by PIIX_NUM_PIRQS bits.
  53      *
  54      * PIRQ is mapped to PIC pins, we track it by
  55      * PIIX_NUM_PIRQS * PIIX_NUM_PIC_IRQS = 64 bits with
  56      * pic_irq * PIIX_NUM_PIRQS + pirq
  57      */
  58 #if PIIX_NUM_PIC_IRQS * PIIX_NUM_PIRQS > 64
  59 #error "unable to encode pic state in 64bit in pic_levels."
  60 #endif
  61     uint64_t pic_levels;
  62
  63     qemu_irq *pic;
  64
  65     /* This member isn't used. Just for save/load compatibility */
  66     int32_t pci_irq_levels_vmstate[PIIX_NUM_PIRQS];
  67 } PIIX3State;
  68
  69 typedef struct PAMMemoryRegion {
  70     MemoryRegion mem;
  71     bool initialized;
  72 } PAMMemoryRegion;
  73
  74 struct PCII440FXState {
  75     PCIDevice dev;
  76     MemoryRegion *system_memory;
  77     MemoryRegion *pci_address_space;
  78     MemoryRegion *ram_memory;
  79     MemoryRegion pci_hole;
  80     MemoryRegion pci_hole_64bit;
  81     PAMMemoryRegion pam_regions[13];
  82     MemoryRegion smram_region;
  83     uint8_t smm_enabled;
  84 };
  85
  86
  87 #define I440FX_PAM      0x59
  88 #define I440FX_PAM_SIZE 7
  89 #define I440FX_SMRAM    0x72
  90
  91 static void piix3_set_irq(void *opaque, int pirq, int level);
  92 static void piix3_write_config_xen(PCIDevice *dev,
  93                                uint32_t address, uint32_t val, int len);
  94
  95 /* return the global irq number corresponding to a given device irq
  96    pin. We could also use the bus number to have a more precise
  97    mapping. */
  98 static int pci_slot_get_pirq(PCIDevice *pci_dev, int pci_intx)
  99 {
 100     int slot_addend;
 101     slot_addend = (pci_dev->devfn >> 3) - 1;
 102     return (pci_intx + slot_addend) & 3;
 103 }
 104
 105 static void update_pam(PCII440FXState *d, uint32_t start, uint32_t end, int r,
 106                        PAMMemoryRegion *mem)
 107 {
 108     if (mem->initialized) {
 109         memory_region_del_subregion(d->system_memory, &mem->mem);
 110         memory_region_destroy(&mem->mem);
 111     }
 112
 113     //    printf("ISA mapping %08x-0x%08x: %d\n", start, end, r);
 114     switch(r) {
 115     case 3:
 116         /* RAM */
 117         memory_region_init_alias(&mem->mem, "pam-ram", d->ram_memory,
 118                                  start, end - start);
 119         break;
 120     case 1:
 121         /* ROM (XXX: not quite correct) */
 122         memory_region_init_alias(&mem->mem, "pam-rom", d->ram_memory,
 123                                  start, end - start);
 124         memory_region_set_readonly(&mem->mem, true);
 125         break;
 126     case 2:
 127     case 0:
 128         /* XXX: should distinguish read/write cases */
 129         memory_region_init_alias(&mem->mem, "pam-pci", d->pci_address_space,
 130                                  start, end - start);
 131         break;
 132     }
 133     memory_region_add_subregion_overlap(d->system_memory,
 134                                         start, &mem->mem, 1);
 135     mem->initialized = true;
 136 }
 137
 138 static void i440fx_update_memory_mappings(PCII440FXState *d)
 139 {
 140     int i, r;
 141     uint32_t smram;
 142     bool smram_enabled;
 143
 144     memory_region_transaction_begin();
 145     update_pam(d, 0xf0000, 0x100000, (d->dev.config[I440FX_PAM] >> 4) & 3,
 146                &d->pam_regions[0]);
 147     for(i = 0; i < 12; i++) {
 148         r = (d->dev.config[(i >> 1) + (I440FX_PAM + 1)] >> ((i & 1) * 4)) & 3;
 149         update_pam(d, 0xc0000 + 0x4000 * i, 0xc0000 + 0x4000 * (i + 1), r,
 150                    &d->pam_regions[i+1]);
 151     }
 152     smram = d->dev.config[I440FX_SMRAM];
 153     smram_enabled = (d->smm_enabled && (smram & 0x08)) || (smram & 0x40);
 154     memory_region_set_enabled(&d->smram_region, !smram_enabled);
 155     memory_region_transaction_commit();
 156 }
 157
 158 static void i440fx_set_smm(int val, void *arg)
 159 {
 160     PCII440FXState *d = arg;
 161
 162     val = (val != 0);
 163     if (d->smm_enabled != val) {
 164         d->smm_enabled = val;
 165         i440fx_update_memory_mappings(d);
 166     }
 167 }
 168
 169
 170 static void i440fx_write_config(PCIDevice *dev,
 171                                 uint32_t address, uint32_t val, int len)
 172 {
 173     PCII440FXState *d = DO_UPCAST(PCII440FXState, dev, dev);
 174
 175     /* XXX: implement SMRAM.D_LOCK */
 176     pci_default_write_config(dev, address, val, len);
 177     if (ranges_overlap(address, len, I440FX_PAM, I440FX_PAM_SIZE) ||
 178         range_covers_byte(address, len, I440FX_SMRAM)) {
 179         i440fx_update_memory_mappings(d);
 180     }
 181 }
 182
 183 static int i440fx_load_old(QEMUFile* f, void *opaque, int version_id)
 184 {
 185     PCII440FXState *d = opaque;
 186     int ret, i;
 187
 188     ret = pci_device_load(&d->dev, f);
 189     if (ret < 0)
 190         return ret;
 191     i440fx_update_memory_mappings(d);
 192     qemu_get_8s(f, &d->smm_enabled);
 193
 194     if (version_id == 2) {
 195         for (i = 0; i < PIIX_NUM_PIRQS; i++) {
 196             qemu_get_be32(f); /* dummy load for compatibility */
 197         }
 198     }
 199
 200     return 0;
 201 }
 202
 203 static int i440fx_post_load(void *opaque, int version_id)
 204 {
 205     PCII440FXState *d = opaque;
 206
 207     i440fx_update_memory_mappings(d);
 208     return 0;
 209 }
 210
 211 static const VMStateDescription vmstate_i440fx = {
 212     .name = "I440FX",
 213     .version_id = 3,
 214     .minimum_version_id = 3,
 215     .minimum_version_id_old = 1,
 216     .load_state_old = i440fx_load_old,
 217     .post_load = i440fx_post_load,
 218     .fields      = (VMStateField []) {
 219         VMSTATE_PCI_DEVICE(dev, PCII440FXState),
 220         VMSTATE_UINT8(smm_enabled, PCII440FXState),
 221         VMSTATE_END_OF_LIST()
 222     }
 223 };
 224
 225 static int i440fx_pcihost_initfn(SysBusDevice *dev)
 226 {
 227     I440FXState *s = FROM_SYSBUS(I440FXState, dev);
 228
 229     memory_region_init_io(&s->conf_mem, &pci_host_conf_le_ops, s,
 230                           "pci-conf-idx", 4);
 231     sysbus_add_io(dev, 0xcf8, &s->conf_mem);
 232     sysbus_init_ioports(&s->busdev, 0xcf8, 4);
 233
 234     memory_region_init_io(&s->data_mem, &pci_host_data_le_ops, s,
 235                           "pci-conf-data", 4);
 236     sysbus_add_io(dev, 0xcfc, &s->data_mem);
 237     sysbus_init_ioports(&s->busdev, 0xcfc, 4);
 238
 239     return 0;
 240 }
 241
 242 static int i440fx_initfn(PCIDevice *dev)
 243 {
 244     PCII440FXState *d = DO_UPCAST(PCII440FXState, dev, dev);
 245
 246     d->dev.config[I440FX_SMRAM] = 0x02;
 247
 248     cpu_smm_register(&i440fx_set_smm, d);
 249     return 0;
 250 }
 251
 252 static PCIBus *i440fx_common_init(const char *device_name,
 253                                   PCII440FXState **pi440fx_state,
 254                                   int *piix3_devfn,
 255                                   ISABus **isa_bus, qemu_irq *pic,
 256                                   MemoryRegion *address_space_mem,
 257                                   MemoryRegion *address_space_io,
 258                                   ram_addr_t ram_size,
 259                                   target_phys_addr_t pci_hole_start,
 260                                   target_phys_addr_t pci_hole_size,
 261                                   target_phys_addr_t pci_hole64_start,
 262                                   target_phys_addr_t pci_hole64_size,
 263                                   MemoryRegion *pci_address_space,
 264                                   MemoryRegion *ram_memory)
 265 {
 266     DeviceState *dev;
 267     PCIBus *b;
 268     PCIDevice *d;
 269     I440FXState *s;
 270     PIIX3State *piix3;
 271     PCII440FXState *f;
 272
 273     dev = qdev_create(NULL, "i440FX-pcihost");
 274     s = FROM_SYSBUS(I440FXState, sysbus_from_qdev(dev));
 275     s->address_space = address_space_mem;
 276     b = pci_bus_new(&s->busdev.qdev, NULL, pci_address_space,
 277                     address_space_io, 0);
 278     s->bus = b;
 279     qdev_init_nofail(dev);
 280     qdev_property_add_child(qdev_get_root(), "i440fx", dev, NULL);
 281
 282     d = pci_create_simple(b, 0, device_name);
 283     *pi440fx_state = DO_UPCAST(PCII440FXState, dev, d);
 284     f = *pi440fx_state;
 285     f->system_memory = address_space_mem;
 286     f->pci_address_space = pci_address_space;
 287     f->ram_memory = ram_memory;
 288     memory_region_init_alias(&f->pci_hole, "pci-hole", f->pci_address_space,
 289                              pci_hole_start, pci_hole_size);
 290     memory_region_add_subregion(f->system_memory, pci_hole_start, &f->pci_hole);
 291     memory_region_init_alias(&f->pci_hole_64bit, "pci-hole64",
 292                              f->pci_address_space,
 293                              pci_hole64_start, pci_hole64_size);
 294     if (pci_hole64_size) {
 295         memory_region_add_subregion(f->system_memory, pci_hole64_start,
 296                                     &f->pci_hole_64bit);
 297     }
 298     memory_region_init_alias(&f->smram_region, "smram-region",
 299                              f->pci_address_space, 0xa0000, 0x20000);
 300     memory_region_add_subregion_overlap(f->system_memory, 0xa0000,
 301                                         &f->smram_region, 1);
 302     memory_region_set_enabled(&f->smram_region, false);
 303
 304     /* Xen supports additional interrupt routes from the PCI devices to
 305      * the IOAPIC: the four pins of each PCI device on the bus are also
 306      * connected to the IOAPIC directly.
 307      * These additional routes can be discovered through ACPI. */
 308     if (xen_enabled()) {
 309         piix3 = DO_UPCAST(PIIX3State, dev,
 310                 pci_create_simple_multifunction(b, -1, true, "PIIX3-xen"));
 311         pci_bus_irqs(b, xen_piix3_set_irq, xen_pci_slot_get_pirq,
 312                 piix3, XEN_PIIX_NUM_PIRQS);
 313     } else {
 314         piix3 = DO_UPCAST(PIIX3State, dev,
 315                 pci_create_simple_multifunction(b, -1, true, "PIIX3"));
 316         pci_bus_irqs(b, piix3_set_irq, pci_slot_get_pirq, piix3,
 317                 PIIX_NUM_PIRQS);
 318     }
 319     qdev_property_add_child(dev, "piix3", &piix3->dev.qdev, NULL);
 320     piix3->pic = pic;
 321     *isa_bus = DO_UPCAST(ISABus, qbus,
 322                          qdev_get_child_bus(&piix3->dev.qdev, "isa.0"));
 323
 324     *piix3_devfn = piix3->dev.devfn;
 325
 326     ram_size = ram_size / 8 / 1024 / 1024;
 327     if (ram_size > 255)
 328         ram_size = 255;
 329     (*pi440fx_state)->dev.config[0x57]=ram_size;
 330
 331     i440fx_update_memory_mappings(f);
 332
 333     return b;
 334 }
 335
 336 PCIBus *i440fx_init(PCII440FXState **pi440fx_state, int *piix3_devfn,
 337                     ISABus **isa_bus, qemu_irq *pic,
 338                     MemoryRegion *address_space_mem,
 339                     MemoryRegion *address_space_io,
 340                     ram_addr_t ram_size,
 341                     target_phys_addr_t pci_hole_start,
 342                     target_phys_addr_t pci_hole_size,
 343                     target_phys_addr_t pci_hole64_start,
 344                     target_phys_addr_t pci_hole64_size,
 345                     MemoryRegion *pci_memory, MemoryRegion *ram_memory)
 346
 347 {
 348     PCIBus *b;
 349
 350     b = i440fx_common_init("i440FX", pi440fx_state, piix3_devfn, isa_bus, pic,
 351                            address_space_mem, address_space_io, ram_size,
 352                            pci_hole_start, pci_hole_size,
 353                            pci_hole64_size, pci_hole64_size,
 354                            pci_memory, ram_memory);
 355     return b;
 356 }
 357
 358 /* PIIX3 PCI to ISA bridge */
 359 static void piix3_set_irq_pic(PIIX3State *piix3, int pic_irq)
 360 {
 361     qemu_set_irq(piix3->pic[pic_irq],
 362                  !!(piix3->pic_levels &
 363                     (((1ULL << PIIX_NUM_PIRQS) - 1) <<
 364                      (pic_irq * PIIX_NUM_PIRQS))));
 365 }
 366
 367 static void piix3_set_irq_level(PIIX3State *piix3, int pirq, int level)
 368 {
 369     int pic_irq;
 370     uint64_t mask;
 371
 372     pic_irq = piix3->dev.config[PIIX_PIRQC + pirq];
 373     if (pic_irq >= PIIX_NUM_PIC_IRQS) {
 374         return;
 375     }
 376
 377     mask = 1ULL << ((pic_irq * PIIX_NUM_PIRQS) + pirq);
 378     piix3->pic_levels &= ~mask;
 379     piix3->pic_levels |= mask * !!level;
 380
 381     piix3_set_irq_pic(piix3, pic_irq);
 382 }
 383
 384 static void piix3_set_irq(void *opaque, int pirq, int level)
 385 {
 386     PIIX3State *piix3 = opaque;
 387     piix3_set_irq_level(piix3, pirq, level);
 388 }
 389
 390 /* irq routing is changed. so rebuild bitmap */
 391 static void piix3_update_irq_levels(PIIX3State *piix3)
 392 {
 393     int pirq;
 394
 395     piix3->pic_levels = 0;
 396     for (pirq = 0; pirq < PIIX_NUM_PIRQS; pirq++) {
 397         piix3_set_irq_level(piix3, pirq,
 398                             pci_bus_get_irq_level(piix3->dev.bus, pirq));
 399     }
 400 }
 401
 402 static void piix3_write_config(PCIDevice *dev,
 403                                uint32_t address, uint32_t val, int len)
 404 {
 405     pci_default_write_config(dev, address, val, len);
 406     if (ranges_overlap(address, len, PIIX_PIRQC, 4)) {
 407         PIIX3State *piix3 = DO_UPCAST(PIIX3State, dev, dev);
 408         int pic_irq;
 409         piix3_update_irq_levels(piix3);
 410         for (pic_irq = 0; pic_irq < PIIX_NUM_PIC_IRQS; pic_irq++) {
 411             piix3_set_irq_pic(piix3, pic_irq);
 412         }
 413     }
 414 }
 415
 416 static void piix3_write_config_xen(PCIDevice *dev,
 417                                uint32_t address, uint32_t val, int len)
 418 {
 419     xen_piix_pci_write_config_client(address, val, len);
 420     piix3_write_config(dev, address, val, len);
 421 }
 422
 423 static void piix3_reset(void *opaque)
 424 {
 425     PIIX3State *d = opaque;
 426     uint8_t *pci_conf = d->dev.config;
 427
 428     pci_conf[0x04] = 0x07; // master, memory and I/O
 429     pci_conf[0x05] = 0x00;
 430     pci_conf[0x06] = 0x00;
 431     pci_conf[0x07] = 0x02; // PCI_status_devsel_medium
 432     pci_conf[0x4c] = 0x4d;
 433     pci_conf[0x4e] = 0x03;
 434     pci_conf[0x4f] = 0x00;
 435     pci_conf[0x60] = 0x80;
 436     pci_conf[0x61] = 0x80;
 437     pci_conf[0x62] = 0x80;
 438     pci_conf[0x63] = 0x80;
 439     pci_conf[0x69] = 0x02;
 440     pci_conf[0x70] = 0x80;
 441     pci_conf[0x76] = 0x0c;
 442     pci_conf[0x77] = 0x0c;
 443     pci_conf[0x78] = 0x02;
 444     pci_conf[0x79] = 0x00;
 445     pci_conf[0x80] = 0x00;
 446     pci_conf[0x82] = 0x00;
 447     pci_conf[0xa0] = 0x08;
 448     pci_conf[0xa2] = 0x00;
 449     pci_conf[0xa3] = 0x00;
 450     pci_conf[0xa4] = 0x00;
 451     pci_conf[0xa5] = 0x00;
 452     pci_conf[0xa6] = 0x00;
 453     pci_conf[0xa7] = 0x00;
 454     pci_conf[0xa8] = 0x0f;
 455     pci_conf[0xaa] = 0x00;
 456     pci_conf[0xab] = 0x00;
 457     pci_conf[0xac] = 0x00;
 458     pci_conf[0xae] = 0x00;
 459
 460     d->pic_levels = 0;
 461 }
 462
 463 static int piix3_post_load(void *opaque, int version_id)
 464 {
 465     PIIX3State *piix3 = opaque;
 466     piix3_update_irq_levels(piix3);
 467     return 0;
 468 }
 469
 470 static void piix3_pre_save(void *opaque)
 471 {
 472     int i;
 473     PIIX3State *piix3 = opaque;
 474
 475     for (i = 0; i < ARRAY_SIZE(piix3->pci_irq_levels_vmstate); i++) {
 476         piix3->pci_irq_levels_vmstate[i] =
 477             pci_bus_get_irq_level(piix3->dev.bus, i);
 478     }
 479 }
 480
 481 static const VMStateDescription vmstate_piix3 = {
 482     .name = "PIIX3",
 483     .version_id = 3,
 484     .minimum_version_id = 2,
 485     .minimum_version_id_old = 2,
 486     .post_load = piix3_post_load,
 487     .pre_save = piix3_pre_save,
 488     .fields      = (VMStateField []) {
 489         VMSTATE_PCI_DEVICE(dev, PIIX3State),
 490         VMSTATE_INT32_ARRAY_V(pci_irq_levels_vmstate, PIIX3State,
 491                               PIIX_NUM_PIRQS, 3),
 492         VMSTATE_END_OF_LIST()
 493     }
 494 };
 495
 496 static int piix3_initfn(PCIDevice *dev)
 497 {
 498     PIIX3State *d = DO_UPCAST(PIIX3State, dev, dev);
 499
 500     isa_bus_new(&d->dev.qdev, pci_address_space_io(dev));
 501     qemu_register_reset(piix3_reset, d);
 502     return 0;
 503 }
 504
 505 static void piix3_class_init(ObjectClass *klass, void *data)
 506 {
 507     PCIDeviceClass *k = PCI_DEVICE_CLASS(klass);
 508
 509     k->no_hotplug   = 1;
 510     k->init         = piix3_initfn;
 511     k->config_write = piix3_write_config;
 512     k->vendor_id    = PCI_VENDOR_ID_INTEL;
 513     k->device_id    = PCI_DEVICE_ID_INTEL_82371SB_0; // 82371SB PIIX3 PCI-to-ISA bridge (Step A1)
 514     k->class_id     = PCI_CLASS_BRIDGE_ISA;
 515 }
 516
 517 static DeviceInfo piix3_info = {
 518     .name    = "PIIX3",
 519     .desc    = "ISA bridge",
 520     .size    = sizeof(PIIX3State),
 521     .vmsd    = &vmstate_piix3,
 522     .no_user = 1,
 523     .class_init = piix3_class_init,
 524 };
 525
 526 static void piix3_xen_class_init(ObjectClass *klass, void *data)
 527 {
 528     PCIDeviceClass *k = PCI_DEVICE_CLASS(klass);
 529
 530     k->no_hotplug   = 1;
 531     k->init         = piix3_initfn;
 532     k->config_write = piix3_write_config_xen;
 533     k->vendor_id    = PCI_VENDOR_ID_INTEL;
 534     k->device_id    = PCI_DEVICE_ID_INTEL_82371SB_0; // 82371SB PIIX3 PCI-to-ISA bridge (Step A1)
 535     k->class_id     = PCI_CLASS_BRIDGE_ISA;
 536 };
 537
 538 static DeviceInfo piix3_xen_info = {
 539     .name    = "PIIX3-xen",
 540     .desc    = "ISA bridge",
 541     .size    = sizeof(PIIX3State),
 542     .vmsd    = &vmstate_piix3,
 543     .no_user = 1,
 544     .class_init = piix3_xen_class_init,
 545 };
 546
 547 static void i440fx_class_init(ObjectClass *klass, void *data)
 548 {
 549     PCIDeviceClass *k = PCI_DEVICE_CLASS(klass);
 550
 551     k->no_hotplug = 1;
 552     k->init = i440fx_initfn;
 553     k->config_write = i440fx_write_config;
 554     k->vendor_id = PCI_VENDOR_ID_INTEL;
 555     k->device_id = PCI_DEVICE_ID_INTEL_82441;
 556     k->revision = 0x02;
 557     k->class_id = PCI_CLASS_BRIDGE_HOST;
 558 }
 559
 560 static DeviceInfo i440fx_info = {
 561     .name = "i440FX",
 562     .desc = "Host bridge",
 563     .size = sizeof(PCII440FXState),
 564     .vmsd = &vmstate_i440fx,
 565     .no_user = 1,
 566     .class_init = i440fx_class_init,
 567 };
 568
 569 static SysBusDeviceInfo i440fx_pcihost_info = {
 570     .init         = i440fx_pcihost_initfn,
 571     .qdev.name    = "i440FX-pcihost",
 572     .qdev.fw_name = "pci",
 573     .qdev.size    = sizeof(I440FXState),
 574     .qdev.no_user = 1,
 575 };
 576
 577 static void i440fx_register(void)
 578 {
 579     pci_qdev_register(&i440fx_info);
 580     pci_qdev_register(&piix3_info);
 581     pci_qdev_register(&piix3_xen_info);
 582     sysbus_register_withprop(&i440fx_pcihost_info);
 583 }
 584 device_init(i440fx_register);