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