/* Submits the INT request to XHCI Host cotroller */
static int _xhci_submit_int_msg(struct usb_device *udev, unsigned long pipe, void *buffer, int length, int interval, bool nonblock)
/* Submits the INT request to XHCI Host cotroller */
static int _xhci_submit_int_msg(struct usb_device *udev, unsigned long pipe, void *buffer, int length, int interval, bool nonblock)
{
	if (usb_pipetype(pipe) != PIPE_INTERRUPT) {
		printf("non-interrupt pipe (type=%lu)", usb_pipetype(pipe));
		return -EINVAL;
	}
	return xhci_bulk_tx(udev, pipe, length, buffer);
}