+ /* Print events discarded */
+ if (stream->events_discarded) {
+ fflush(pos->fp);
+ fprintf(stderr, "[warning] Tracer discarded %d events between [",
+ stream->events_discarded);
+ ctf_print_timestamp(stderr, stream, stream->prev_timestamp);
+ fprintf(stderr, "] and [");
+ ctf_print_timestamp(stderr, stream, stream->prev_timestamp_end);
+ fprintf(stderr, "]. You should consider increasing the buffer size.\n");
+ fflush(stderr);
+ stream->events_discarded = 0;
+ }
+