drivers/xen/xen-pciback/pci_stub.c

1004

kill_domain_by_device(psdev);

drivers/xen/xen-pciback/pci_stub.c

1012

kill_domain_by_device(psdev);

drivers/xen/xen-pciback/pci_stub.c

837

kill_domain_by_device(psdev);

drivers/xen/xen-pciback/pci_stub.c

853

kill_domain_by_device(psdev);

drivers/xen/xen-pciback/pci_stub.c

894

kill_domain_by_device(psdev);

drivers/xen/xen-pciback/pci_stub.c

910

kill_domain_by_device(psdev);

drivers/xen/xen-pciback/pci_stub.c

951

kill_domain_by_device(psdev);

drivers/xen/xen-pciback/pci_stub.c

959

kill_domain_by_device(psdev);

drivers/xen/xen-pciback/pci_stub.c

968

kill_domain_by_device(psdev);