kern: pci: Handle logging of device and vendor ID

Signed-off-by: Ian Moffett <ian@osmora.org>

1 files changed, 10 insertions, 3 deletions

diff --git a/src/sys/io/pci/pci.c b/src/sys/io/pci/pci.c
index 57ec7fa..ba96670 100644
--- a/src/sys/io/pci/pci.c
+++ b/src/sys/io/pci/pci.c
@@ -64,15 +64,22 @@ pci_register_dev(struct pci_device *dev)
         return;
     }
 
+    dev->vendor = vendor_id;
+    dev->device = device_id;
+
     /*
      * Log out the BDF notation as well as vendor,
      * and logical slot ID.
+     *
+     * XXX: The device and vendor id are in the format of
+     *      "[V:D]" where 'V' is the vendor ID and 'D' is the
+     *      device ID.
      */
     printf(
-        "bridge: device @ pci <%x.%x.%x>\n",
+        "bridge: device [%x:%x] @ pci <%x.%x.%x>\n",
+        dev->device, dev->vendor,
         dev->bus, dev->slot,
-        dev->func, dev->vendor,
-        dev->slot
+        dev->func
     );
 }