xhci_get_usb3_hcd
hcd = xhci_get_usb3_hcd(xhci);
usb3_hcd = xhci_get_usb3_hcd(xhci);
usb3_hcd = xhci_get_usb3_hcd(xhci);
usb3_hcd = xhci_get_usb3_hcd(xhci);
return hcd == xhci_get_usb3_hcd(xhci);