pci_resource_num_from_vf_bar
int idx = pci_resource_num_from_vf_bar(i);
int idx = pci_resource_num_from_vf_bar(i);
int idx = pci_resource_num_from_vf_bar(i);
res = &dev->resource[pci_resource_num_from_vf_bar(i)];
pci_update_resource(dev, pci_resource_num_from_vf_bar(i));
int idx = pci_resource_num_from_vf_bar(i);