/* submit the BULK type of request to the USB Device */
static int _xhci_submit_bulk_msg(struct usb_device *udev, unsigned long pipe, void *buffer, int length)
/* submit the BULK type of request to the USB Device */
static int _xhci_submit_bulk_msg(struct usb_device *udev, unsigned long pipe, void *buffer, int length)
{
	if (usb_pipetype(pipe) != PIPE_BULK) {
		printf("non-bulk pipe (type=%lu)", usb_pipetype(pipe));
		return -EINVAL;
	}
	return xhci_bulk_tx(udev, pipe, length, buffer);
}