xen_intr_handle_from_isrc
*handlep = xen_intr_handle_from_isrc(xen_intr_port_to_isrc[port]);
flags, xen_intr_handle_from_isrc(isrc));
*port_handlep = xen_intr_handle_from_isrc(isrc);