xen_poll_irq 54 arch/x86/xen/spinlock.c xen_poll_irq(irq); xen_poll_irq 82 include/xen/events.h void xen_poll_irq(int irq);