Show PCI info when reporting ATA controllers.
diff --git a/src/ata.c b/src/ata.c
index 2b384f6..d0fef06 100644
--- a/src/ata.c
+++ b/src/ata.c
@@ -938,7 +938,8 @@
         }
         SET_EBDA(ata.channels[count].iobase1, port1);
         SET_EBDA(ata.channels[count].iobase2, port2);
-        dprintf(1, "ATA controller %d at %x/%x\n", count, port1, port2);
+        dprintf(1, "ATA controller %d at %x/%x (dev %x class %x/%x)\n"
+                , count, port1, port2, bdf, classid, prog_if);
         count++;
 
         if (classid != PCI_CLASS_STORAGE_IDE || prog_if & 4) {
@@ -948,7 +949,8 @@
             port1 = 0x170;
             port2 = 0x370;
         }
-        dprintf(1, "ATA controller %d at %x/%x\n", count, port1, port2);
+        dprintf(1, "ATA controller %d at %x/%x (dev %x class %x/%x)\n"
+                , count, port1, port2, bdf, classid, prog_if);
         SET_EBDA(ata.channels[count].iobase1, port1);
         SET_EBDA(ata.channels[count].iobase2, port2);
         count++;