XEN_CALL_FUNCTION_VECTOR  113 arch/x86/xen/smp.c 	rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_VECTOR,
XEN_CALL_FUNCTION_VECTOR  425 arch/x86/xen/smp.c 	xen_send_IPI_mask(mask, XEN_CALL_FUNCTION_VECTOR);