compute_ohci_iso_ctx_cycle_count
curr_cycle = compute_ohci_iso_ctx_cycle_count((cycle_time >> 12) & 0x0000ffff);
return compute_ohci_iso_ctx_cycle_count(tstamp);