Symbol: xen_poll_irq