Searched refs:kill_domain_by_device (Results 1 – 1 of 1) sorted by relevance
607 static void kill_domain_by_device(struct pcistub_device *psdev) in kill_domain_by_device() function742 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()758 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()800 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()816 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()858 kill_domain_by_device(psdev); in xen_pcibk_error_detected()866 kill_domain_by_device(psdev); in xen_pcibk_error_detected()875 kill_domain_by_device(psdev); in xen_pcibk_error_detected()912 kill_domain_by_device(psdev); in xen_pcibk_error_resume()920 kill_domain_by_device(psdev); in xen_pcibk_error_resume()