XEN_CALL_FUNCTION_SINGLE_VECTOR
rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_SINGLE_VECTOR,
XEN_CALL_FUNCTION_SINGLE_VECTOR);
xen_vector = XEN_CALL_FUNCTION_SINGLE_VECTOR;