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,