--- drivers/usb/core/devices.c

+++ drivers/usb/core/devices.c

@@ -211,7 +211,7 @@ static char *usb_dump_endpoint_descripto

break;

case USB_ENDPOINT_XFER_INT:

type = "Int.";

- if (speed == USB_SPEED_HIGH)

+ if (speed == USB_SPEED_HIGH || speed == USB_SPEED_SUPER)

interval = 1 << (desc->bInterval - 1);

else

interval = desc->bInterval;

@@ -219,7 +219,8 @@ static char *usb_dump_endpoint_descripto

default: /* "can't happen" */

return start;

}

- interval *= (speed == USB_SPEED_HIGH) ? 125 : 1000;

+ interval *= (speed == USB_SPEED_HIGH ||

+ speed == USB_SPEED_SUPER) ? 125 : 1000;

if (interval % 1000)

unit = 'u';

else {

@@ -529,8 +530,9 @@ static ssize_t usb_device_dump(char __us

if (level == 0) {

int max;

- /* high speed reserves 80%, full/low reserves 90% */

- if (usbdev->speed == USB_SPEED_HIGH)

+ /* super/high speed reserves 80%, full/low reserves 90% */

+ if (usbdev->speed == USB_SPEED_HIGH ||

+ usbdev->speed == USB_SPEED_SUPER)

max = 800;

else

max = FRAME_TIME_MAX_USECS_ALLOC;