Searched refs:kill_domain_by_device (Results 1 – 1 of 1) sorted by relevance
662 static void kill_domain_by_device(struct pcistub_device *psdev) in kill_domain_by_device() function794 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()810 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()851 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()867 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()908 kill_domain_by_device(psdev); in xen_pcibk_error_detected()916 kill_domain_by_device(psdev); in xen_pcibk_error_detected()925 kill_domain_by_device(psdev); in xen_pcibk_error_detected()961 kill_domain_by_device(psdev); in xen_pcibk_error_resume()969 kill_domain_by_device(psdev); in xen_pcibk_error_resume()