Searched refs:kill_domain_by_device (Results 1 – 1 of 1) sorted by relevance
725 static void kill_domain_by_device(struct pcistub_device *psdev) in kill_domain_by_device() function857 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()873 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()914 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()930 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()971 kill_domain_by_device(psdev); in xen_pcibk_error_detected()979 kill_domain_by_device(psdev); in xen_pcibk_error_detected()988 kill_domain_by_device(psdev); in xen_pcibk_error_detected()1024 kill_domain_by_device(psdev); in xen_pcibk_error_resume()1032 kill_domain_by_device(psdev); in xen_pcibk_error_resume()