- printf("%02x:%02x.%d vendor=%04x device=%04x class=%04x irq=%d (pin %d) base0=%lx\n",
- dev->bus, dev->dev, dev->func, dev->vendor_id, dev->device_id,
- dev->device_class, dev->irq, c, dev->base_addr[0]);
+ printf("%04x:%02x:%02x.%d vendor=%04x device=%04x class=%04x irq=%d (pin %d) base0=%lx",
+ dev->domain, dev->bus, dev->dev, dev->func, dev->vendor_id, dev->device_id,
+ dev->device_class, dev->irq, c, (long) dev->base_addr[0]);
+
+ /* Look up and print the full name of the device */
+ name = pci_lookup_name(pacc, namebuf, sizeof(namebuf), PCI_LOOKUP_DEVICE, dev->vendor_id, dev->device_id);
+ printf(" (%s)\n", name);