xen_pcibk_control_isr  115 drivers/xen/xen-pciback/pciback_ops.c 	xen_pcibk_control_isr(dev, 1 /* reset device */);
xen_pcibk_control_isr  381 drivers/xen/xen-pciback/pciback_ops.c 			xen_pcibk_control_isr(dev, 0 /* no reset */);