fhci_get_sof_timer_count
1000 - fhci_get_sof_timer_count(usb)))) {
if (((fhci_get_sof_timer_count(usb) < usb->max_frame_usage) ||
u16 fhci_get_sof_timer_count(struct fhci_usb *usb);