intel_pt_ctc_to_tsc
expected_tsc = last_ctc_timestamp + intel_pt_ctc_to_tsc(decoder, new_ctc_delta) + fc;
intel_pt_log_x64(intel_pt_ctc_to_tsc(decoder, new_ctc_delta));