xen_irq_work_interrupt   55 arch/x86/xen/smp_pv.c static irqreturn_t xen_irq_work_interrupt(int irq, void *dev_id);
xen_irq_work_interrupt  123 arch/x86/xen/smp_pv.c 				    xen_irq_work_interrupt,