intel_pt_log_fp
void *intel_pt_log_fp(void);
FILE *fp = intel_pt_log_fp();
FILE *f = intel_pt_log_fp();
dso__fprintf(dso, intel_pt_log_fp());