xen_call_function_interrupt   19 arch/x86/xen/smp.c static irqreturn_t xen_call_function_interrupt(int irq, void *dev_id);
xen_call_function_interrupt   82 arch/x86/xen/smp.c 				    xen_call_function_interrupt,