usb_ticks_t
usb_ticks_t start_ticks;
const usb_ticks_t max_ticks = USB_MS_TO_TICKS(1000);
start_ticks = (usb_ticks_t)ticks;
} while (((usb_ticks_t)(ticks - start_ticks)) < max_ticks);
usb_ticks_t start_ticks;
const usb_ticks_t max_ticks = USB_MS_TO_TICKS(1000);
start_ticks = (usb_ticks_t)ticks;
} while (((usb_ticks_t)(ticks - start_ticks)) < max_ticks);
usb_ticks_t start_ticks;
const usb_ticks_t max_ticks = USB_MS_TO_TICKS(1000);
if (((usb_ticks_t)(ticks - start_ticks)) >= max_ticks) {
usb_ticks_t start_ticks;
const usb_ticks_t max_ticks = USB_MS_TO_TICKS(1000);
if (((usb_ticks_t)(ticks - start_ticks)) >= max_ticks) {
usb_ticks_t start_ticks;
const usb_ticks_t max_ticks = USB_MS_TO_TICKS(1000);
start_ticks = (usb_ticks_t)ticks;
} while (((usb_ticks_t)(ticks - start_ticks)) < max_ticks);
usb_ticks_t start_ticks;
const usb_ticks_t max_ticks = USB_MS_TO_TICKS(1000);
start_ticks = (usb_ticks_t)ticks;
} while (((usb_ticks_t)(ticks - start_ticks)) < max_ticks);
udev->plugtime = (usb_ticks_t)ticks;
usb_ticks_t last_xfer_time; /* copy of "ticks" */
usb_ticks_t plugtime; /* copy of "ticks" */
usb_ticks_t temp;
usb_ticks_t limit;
usb_ticks_t mintime;
mintime = (usb_ticks_t)-1;
if (mintime >= (usb_ticks_t)(1 * hz)) {
usb_ticks_t start_ticks;
usb_ticks_t delta_ticks;
usb_ticks_t max_ticks;