/* Restore the BAR values for a given device, so as to make it accessible by its driver.  */
static void pci_restore_bars(struct pci_dev *dev)
/* Restore the BAR values for a given device, so as to make it accessible by its driver.  */
static void pci_restore_bars(struct pci_dev *dev)
{
	int i;
	for (i = 0; i < PCI_BRIDGE_RESOURCES; i++)
		pci_update_resource(dev, i);
}