xen_poll_irq_timeout
xen_poll_irq_timeout(irq, jiffies + 3*HZ);
EXPORT_SYMBOL(xen_poll_irq_timeout);
xen_poll_irq_timeout(irq, 0 /* no timeout */);
void xen_poll_irq_timeout(int irq, u64 timeout);