On 02/25/2012 08:42 PM, Anthony Liguori wrote: > @@ -224,7 +223,9 @@ static void pc_init1(MemoryRegion *system_memory, > gsi_state->i8259_irq[i] = i8259[i]; > } > if (pci_enabled) { > - ioapic_init(gsi_state); > + dev = ioapic_init(gsi_state); > + object_property_add_child(object_resolve_path("/i440fx/piix3", NULL), > + "ioapic", OBJECT(dev), NULL); > } > > pc_register_ferr_irq(gsi[13]);
Jan objected to putting this under /i440fx/piix3. Paolo