142 static char *usb_dump_endpoint_descriptor(int speed, char *start, char *end,  in usb_dump_endpoint_descriptor()  argument
153 	if (speed == USB_SPEED_HIGH)  in usb_dump_endpoint_descriptor()
175 	interval = usb_decode_interval(desc, speed);  in usb_dump_endpoint_descriptor()
222 static char *usb_dump_interface(int speed, char *start, char *end,  in usb_dump_interface()  argument
231 		start = usb_dump_endpoint_descriptor(speed,  in usb_dump_interface()
259 				int active, int speed)  in usb_dump_config_descriptor()  argument
265 	if (speed >= USB_SPEED_SUPER)  in usb_dump_config_descriptor()
279 static char *usb_dump_config(int speed, char *start, char *end,  in usb_dump_config()  argument
292 			speed);  in usb_dump_config()
303 			start = usb_dump_interface(speed,  in usb_dump_config()
373 		start = usb_dump_config(dev->speed,  in usb_dump_desc()
398 	char *pages_start, *data_end, *speed;  in usb_device_dump()  local
421 	switch (usbdev->speed) {  in usb_device_dump()
423 		speed = "1.5"; break;  in usb_device_dump()
426 		speed = "12"; break;  in usb_device_dump()
428 		speed = "480"; break;  in usb_device_dump()
430 		speed = "5000"; break;  in usb_device_dump()
432 		speed = "10000"; break;  in usb_device_dump()
434 		speed = "??";  in usb_device_dump()
439 			speed, usbdev->maxchild);  in usb_device_dump()
451 		if (usbdev->speed == USB_SPEED_HIGH ||  in usb_device_dump()
452 		    usbdev->speed >= USB_SPEED_SUPER)  in usb_device_dump()