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