xhci_ring_trb_put
xhci_ring_trb_put(xrp, &xco->xco_req);
extern void xhci_ring_trb_put(xhci_ring_t *, xhci_trb_t *);