Call piix4_reset() on system reset.

Also zero pci_irq_levels on reset to avoid stuck irq after reset.

Based on 15a1956af94e36105494f782a752698103addf63 by Gleb Natapov.

Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
diff --git a/hw/piix_pci.c b/hw/piix_pci.c
index ff2cbde..67e6309 100644
--- a/hw/piix_pci.c
+++ b/hw/piix_pci.c
@@ -272,8 +272,9 @@
     memset(pci_irq_levels, 0, sizeof(pci_irq_levels));
 }
 
-static void piix4_reset(PCIDevice *d)
+static void piix4_reset(void *opaque)
 {
+    PCIDevice *d = opaque;
     uint8_t *pci_conf = d->config;
 
     pci_conf[0x04] = 0x07; // master, memory and I/O
@@ -307,6 +308,8 @@
     pci_conf[0xab] = 0x00;
     pci_conf[0xac] = 0x00;
     pci_conf[0xae] = 0x00;
+
+    memset(pci_irq_levels, 0, sizeof(pci_irq_levels));
 }
 
 static void piix_save(QEMUFile* f, void *opaque)
@@ -366,5 +369,6 @@
 
 
     piix4_reset(d);
+    qemu_register_reset(piix4_reset, 0, d);
     return d->devfn;
 }