Searched refs:xen_evtchn_remove_pci_device (Results 1 – 4 of 4) sorted by relevance
25 void xen_evtchn_remove_pci_device(PCIDevice *dev) in xen_evtchn_remove_pci_device() function
29 void xen_evtchn_remove_pci_device(PCIDevice *dev);
1693 void xen_evtchn_remove_pci_device(PCIDevice *dev) in xen_evtchn_remove_pci_device() function
1047 xen_evtchn_remove_pci_device(pci_dev); in do_pci_unregister_device()