Searched refs:xen_host_pci_device_put (Results 1 – 3 of 3) sorted by relevance
48 void xen_host_pci_device_put(XenHostPCIDevice *pci_dev);
764 xen_host_pci_device_put(host_dev); in xen_pt_destroy()805 xen_host_pci_device_put(&s->real_device); in xen_pt_realize()813 xen_host_pci_device_put(&s->real_device); in xen_pt_realize()
470 void xen_host_pci_device_put(XenHostPCIDevice *d) in xen_host_pci_device_put() function