xen_pcibk_handle_event
irqreturn_t xen_pcibk_handle_event(int irq, void *dev_id);
pdev->xdev, remote_evtchn, xen_pcibk_handle_event,