USB_MAX_FRAME_NUMBER
& USB_MAX_FRAME_NUMBER);
max3421_hcd->frame_number = USB_MAX_FRAME_NUMBER;
return ((unsigned) (left - right)) % (USB_MAX_FRAME_NUMBER + 1);