xen_call_function_single_interrupt   20 arch/x86/xen/smp.c static irqreturn_t xen_call_function_single_interrupt(int irq, void *dev_id);
xen_call_function_single_interrupt  103 arch/x86/xen/smp.c 				    xen_call_function_single_interrupt,