xen_intr_isrc_from_handle
isrc = xen_intr_isrc_from_handle(handle);
isrc = xen_intr_isrc_from_handle(handle);
isrc = xen_intr_isrc_from_handle(handle);
isrc = xen_intr_isrc_from_handle(port_handle);
isrc = xen_intr_isrc_from_handle(*port_handlep);