xhci_ring_trb_produce
xhci_ring_trb_produce(rp, xt->xt_ntrbs);
xhci_ring_trb_produce(xrp, 1U);
extern void xhci_ring_trb_produce(xhci_ring_t *, uint_t);