xhci_ring_trb_valid_range
if (xhci_ring_trb_valid_range(&xep->xep_ring, LE_64(trb->trb_addr),
extern int xhci_ring_trb_valid_range(xhci_ring_t *, uint64_t, uint_t);