xen_pcibk_release_pci_dev
xen_pcibk_release_pci_dev(found_psdev->pdev,
xen_pcibk_release_pci_dev(pdev, dev, true /* use the lock. */);