/* Remove a device from the addr-cache tree. This is potentially expensive, since it will walk the tree multiple times (once per resource). But so what; device removal doesn't need to be that fast.  */
void pci_addr_cache_remove_device(struct pci_dev *dev)
/* Remove a device from the addr-cache tree. This is potentially expensive, since it will walk the tree multiple times (once per resource). But so what; device removal doesn't need to be that fast.  */
void pci_addr_cache_remove_device(struct pci_dev *dev)
{
	unsigned long flags;
	spin_lock_irqsave(&pci_io_addr_cache_root.piar_lock, flags);
	__pci_addr_cache_remove_device(dev);
	spin_unlock_irqrestore(&pci_io_addr_cache_root.piar_lock, flags);
}