void st_print_trace(FILE *stream, int (*stream_printf)(FILE *stream, const char *fmt, ...))

{

    unsigned int i;



    for (i = 0; i < TRACE_BUF_LEN; i++) {

        TraceRecord record;



        if (!get_trace_record(i, &record)) {

            continue;

        }

        stream_printf(stream, "Event %" PRIu64 " : %" PRIx64 " %" PRIx64

                      " %" PRIx64 " %" PRIx64 " %" PRIx64 " %" PRIx64 "\n",

                      record.event, record.x1, record.x2,

                      record.x3, record.x4, record.x5,

                      record.x6);

    }

}

void st_print_trace(FILE *stream, int (*stream_printf)(FILE *stream, const char *fmt, ...))

{

    unsigned int i;



    for (i = 0; i < TRACE_BUF_LEN; i++) {

        TraceRecord record;



        if (!get_trace_record(i, &record)) {

            continue;

        }

        stream_printf(stream, "Event %" PRIu64 " : %" PRIx64 " %" PRIx64

                      " %" PRIx64 " %" PRIx64 " %" PRIx64 " %" PRIx64 "\n",

                      record.event, record.x1, record.x2,

                      record.x3, record.x4, record.x5,

                      record.x6);

    }

}

void st_print_trace(FILE *stream, int (*stream_printf)(FILE *stream, const char *fmt, ...))     unsigned int i;     for (i = 0; i < TRACE_BUF_LEN; i++) {         TraceRecord record;         if (!get_trace_record(i, &record)) {             continue;         stream_printf(stream, "Event %" PRIu64 " : %" PRIx64 " %" PRIx64                       " %" PRIx64 " %" PRIx64 " %" PRIx64 " %" PRIx64 "\n",                       record.event, record.x1, record.x2,                       record.x3, record.x4, record.x5,                       record.x6);
void FUNC_0(FILE *VAR_2, int (*VAR_1)(FILE *VAR_2, const char *VAR_2, ...))

{

    unsigned int VAR_3;



    for (VAR_3 = 0; VAR_3 < TRACE_BUF_LEN; VAR_3++) {

        TraceRecord record;



        if (!get_trace_record(VAR_3, &record)) {

            continue;

        }

        VAR_1(VAR_2, "Event %" PRIu64 " : %" PRIx64 " %" PRIx64

                      " %" PRIx64 " %" PRIx64 " %" PRIx64 " %" PRIx64 "\n",

                      record.event, record.x1, record.x2,

                      record.x3, record.x4, record.x5,

                      record.x6);

    }

}

void FUNC_0(FILE *VAR_2, int (*VAR_1)(FILE *VAR_2, const char *VAR_2, ...))
{ unsigned int VAR_3; for (VAR_3 = 0; VAR_3 < TRACE_BUF_LEN; VAR_3++) { TraceRecord record; if (!get_trace_record(VAR_3, &record)) { continue; } VAR_1(VAR_2, "Event %" PRIu64 " : %" PRIx64 " %" PRIx64
" %" PRIx64 " %" PRIx64 " %" PRIx64 " %" PRIx64 "\n",
record.event, record.x1, record.x2,
record.x3, record.x4, record.x5,
record.x6); } }