kill_domain_by_device  795 drivers/xen/xen-pciback/pci_stub.c 		kill_domain_by_device(psdev);
kill_domain_by_device  811 drivers/xen/xen-pciback/pci_stub.c 		kill_domain_by_device(psdev);
kill_domain_by_device  853 drivers/xen/xen-pciback/pci_stub.c 		kill_domain_by_device(psdev);
kill_domain_by_device  869 drivers/xen/xen-pciback/pci_stub.c 		kill_domain_by_device(psdev);
kill_domain_by_device  911 drivers/xen/xen-pciback/pci_stub.c 		kill_domain_by_device(psdev);
kill_domain_by_device  919 drivers/xen/xen-pciback/pci_stub.c 		kill_domain_by_device(psdev);
kill_domain_by_device  928 drivers/xen/xen-pciback/pci_stub.c 		kill_domain_by_device(psdev);
kill_domain_by_device  965 drivers/xen/xen-pciback/pci_stub.c 		kill_domain_by_device(psdev);
kill_domain_by_device  973 drivers/xen/xen-pciback/pci_stub.c 		kill_domain_by_device(psdev);