xen_send_IPI_mask  425 arch/x86/xen/smp.c 	xen_send_IPI_mask(mask, XEN_CALL_FUNCTION_VECTOR);
xen_send_IPI_mask  438 arch/x86/xen/smp.c 	xen_send_IPI_mask(cpumask_of_cpu(cpu), XEN_CALL_FUNCTION_SINGLE_VECTOR);