xenpci_deallocate_resources
xenpci_deallocate_resources(dev);
return (xenpci_deallocate_resources(dev));