Symbol: xen_call_function_single_interrupt
arch/x86/xen/smp.c
116
xen_call_function_single_interrupt,
arch/x86/xen/smp.c
19
static irqreturn_t xen_call_function_single_interrupt(int irq, void *dev_id);