+static void
+__pci_read_binding(struct twimap* map)
+{
+ struct pci_device* pcidev = twimap_data(map, struct pci_device*);
+ // check if device binding has been initialized
+ struct device* dev = device_cast(&pcidev->dev);
+ if (!dev) {
+ return;
+ }
+
+ twimap_printf(map, "0x%x:0x%x", dev->ident.fn_grp, dev->ident.unique);
+}
+