Lines Matching refs:EFI_USB_SPEED_HIGH
90 *MaxSpeed = EFI_USB_SPEED_HIGH; 884 ((EFI_USB_SPEED_HIGH == DeviceSpeed) && (MaximumPacketLength > 512))) { 1168 ((DeviceSpeed == EFI_USB_SPEED_HIGH) && (MaximumPacketLength > 3072))) {