XEN_CALL_FUNCTION_VECTOR
__xen_send_IPI_mask(mask, XEN_CALL_FUNCTION_VECTOR);
xen_vector = XEN_CALL_FUNCTION_VECTOR;
rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_VECTOR,