Searched refs:kill_domain_by_device (Results 1 – 1 of 1) sorted by relevance
663 static void kill_domain_by_device(struct pcistub_device *psdev) in kill_domain_by_device() function795 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()811 kill_domain_by_device(psdev); in xen_pcibk_slot_reset()852 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()868 kill_domain_by_device(psdev); in xen_pcibk_mmio_enabled()909 kill_domain_by_device(psdev); in xen_pcibk_error_detected()917 kill_domain_by_device(psdev); in xen_pcibk_error_detected()926 kill_domain_by_device(psdev); in xen_pcibk_error_detected()962 kill_domain_by_device(psdev); in xen_pcibk_error_resume()970 kill_domain_by_device(psdev); in xen_pcibk_error_resume()