XEN_CALL_FUNCTION_VECTOR   80 arch/x86/xen/smp.c 	rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_VECTOR,
XEN_CALL_FUNCTION_VECTOR  169 arch/x86/xen/smp.c 	__xen_send_IPI_mask(mask, XEN_CALL_FUNCTION_VECTOR);
XEN_CALL_FUNCTION_VECTOR  195 arch/x86/xen/smp.c 		xen_vector = XEN_CALL_FUNCTION_VECTOR;