xen_poll_irq_timeout  144 drivers/pci/xen-pcifront.c 		xen_poll_irq_timeout(irq, jiffies + 3*HZ);
xen_poll_irq_timeout 1544 drivers/xen/events/events_base.c EXPORT_SYMBOL(xen_poll_irq_timeout);
xen_poll_irq_timeout 1549 drivers/xen/events/events_base.c 	xen_poll_irq_timeout(irq, 0 /* no timeout */);
xen_poll_irq_timeout   86 include/xen/events.h void xen_poll_irq_timeout(int irq, u64 timeout);