1554 						   int *downstream_bw)  in usb4_usb3_port_read_allocated_bandwidth()  argument
1575 	*downstream_bw = usb3_bw_to_mbps(bw, scale);  in usb4_usb3_port_read_allocated_bandwidth()
1591 				       int *downstream_bw)  in usb4_usb3_port_allocated_bandwidth()  argument
1600 						      downstream_bw);  in usb4_usb3_port_allocated_bandwidth()
1608 						  int *downstream_bw)  in usb4_usb3_port_read_consumed_bandwidth()  argument
1629 	*downstream_bw = usb3_bw_to_mbps(bw, scale);  in usb4_usb3_port_read_consumed_bandwidth()
1636 						    int downstream_bw)  in usb4_usb3_port_write_allocated_bandwidth()  argument
1649 	dbw = mbps_to_usb3_bw(downstream_bw, scale);  in usb4_usb3_port_write_allocated_bandwidth()
1682 				      int *downstream_bw)  in usb4_usb3_port_allocate_bandwidth()  argument
1697 	allocate_down = max(*downstream_bw, consumed_down);  in usb4_usb3_port_allocate_bandwidth()
1705 	*downstream_bw = allocate_down;  in usb4_usb3_port_allocate_bandwidth()
1724 				     int *downstream_bw)  in usb4_usb3_port_release_bandwidth()  argument
1752 	*downstream_bw = consumed_down;  in usb4_usb3_port_release_bandwidth()