xhci_read_4
const uint32_t w0 = xhci_read_4(sc, ecp);
const uint32_t w4 = xhci_read_4(sc, ecp + 4);
const uint32_t w8 = xhci_read_4(sc, ecp + 8);
const uint32_t wc = xhci_read_4(sc, ecp + 0xc);
uint32_t ecr = xhci_read_4(sc, ecp);
ecr = xhci_read_4(sc, ecp);