Searched refs:kill_domain_by_device (Results 1 – 1 of 1) sorted by relevance
705 static void kill_domain_by_device(struct pcistub_device *psdev) in kill_domain_by_device() function837 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()853 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()894 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()910 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()951 kill_domain_by_device(psdev); in xen_pcibk_error_detected()959 kill_domain_by_device(psdev); in xen_pcibk_error_detected()968 kill_domain_by_device(psdev); in xen_pcibk_error_detected()1004 kill_domain_by_device(psdev); in xen_pcibk_error_resume()1012 kill_domain_by_device(psdev); in xen_pcibk_error_resume()