Symbol: xenpci_deallocate_resources
sys/dev/xen/xenpci/xenpci.c
119
xenpci_deallocate_resources(dev);
sys/dev/xen/xenpci/xenpci.c
170
xenpci_deallocate_resources(dev);
sys/dev/xen/xenpci/xenpci.c
199
return (xenpci_deallocate_resources(dev));