xen_intr_port
"%u", xen_intr_port(sc->xen_intr_handle));
evtchn->port = xen_intr_port(evtchn->handle);
xen_intr_port(rxq->xen_intr_handle));
evtchn_port_t xen_intr_port(xen_intr_handle_t handle);