decrement_ohci_cycle_count
cycle_gap = decrement_ohci_cycle_count(curr_cycle, latest_cycle);
cycle_gap = decrement_ohci_cycle_count(latest_cycle, curr_cycle);