- pos->bus,
- pos->dev,
- pos->function,
- pos->vendor,
- pos->deviceId,
- pos->class_code);
-
- for (int i = 0; i < 6; i++) {
- kprintf(KINFO "\t BAR#%d: %p\n", i, pos->bars[i]);
+ PCI_BUS_NUM(pos->cspace_base),
+ PCI_SLOT_NUM(pos->cspace_base),
+ PCI_FUNCT_NUM(pos->cspace_base),
+ PCI_DEV_VENDOR(pos->device_info),
+ PCI_DEV_DEVID(pos->device_info),
+ PCI_DEV_CLASS(pos->class_info));
+
+ kprintf(KINFO "\t IRQ: %d, INT#x: %d\n",
+ PCI_INTR_IRQ(pos->intr_info),
+ PCI_INTR_PIN(pos->intr_info));
+
+ if (pos->msi_loc) {
+ kprintf(KINFO "\t MSI supported (@%xh)\n", pos->msi_loc);