xen_pcibk_handle_event  182 drivers/xen/xen-pciback/pciback.h irqreturn_t xen_pcibk_handle_event(int irq, void *dev_id);
xen_pcibk_handle_event  127 drivers/xen/xen-pciback/xenbus.c 		pdev->xdev->otherend_id, remote_evtchn, xen_pcibk_handle_event,