xhci_get64
addr = xhci_get64(xhcip, XHCI_R_OPER, XHCI_CRCR);
reg = xhci_get64(xhcip, XHCI_R_OPER, XHCI_CRCR);
extern uint64_t xhci_get64(xhci_t *, xhci_reg_type_t, uintptr_t);