static void trace(TraceEventID event, uint64_t x1, uint64_t x2, uint64_t x3,

                  uint64_t x4, uint64_t x5, uint64_t x6)

{

    TraceRecord *rec = &trace_buf[trace_idx];



    if (!trace_list[event].state) {

        return;

    }



    rec->event = event;

    rec->timestamp_ns = get_clock();

    rec->x1 = x1;

    rec->x2 = x2;

    rec->x3 = x3;

    rec->x4 = x4;

    rec->x5 = x5;

    rec->x6 = x6;



    if (++trace_idx == TRACE_BUF_LEN) {

        st_flush_trace_buffer();

    }

}

static void trace(TraceEventID event, uint64_t x1, uint64_t x2, uint64_t x3,

                  uint64_t x4, uint64_t x5, uint64_t x6)

{

    TraceRecord *rec = &trace_buf[trace_idx];



    if (!trace_list[event].state) {

        return;

    }



    rec->event = event;

    rec->timestamp_ns = get_clock();

    rec->x1 = x1;

    rec->x2 = x2;

    rec->x3 = x3;

    rec->x4 = x4;

    rec->x5 = x5;

    rec->x6 = x6;



    if (++trace_idx == TRACE_BUF_LEN) {

        st_flush_trace_buffer();

    }

}

    TraceRecord *rec = &trace_buf[trace_idx];     rec->event = event;     rec->timestamp_ns = get_clock();     rec->x1 = x1;     rec->x2 = x2;     rec->x3 = x3;     rec->x4 = x4;     rec->x5 = x5;     rec->x6 = x6;     if (++trace_idx == TRACE_BUF_LEN) {         st_flush_trace_buffer();
static void FUNC_0(TraceEventID VAR_0, uint64_t VAR_1, uint64_t VAR_2, uint64_t VAR_3,

                  uint64_t VAR_4, uint64_t VAR_5, uint64_t VAR_6)

{

    TraceRecord *rec = &trace_buf[trace_idx];



    if (!trace_list[VAR_0].state) {

        return;

    }



    rec->VAR_0 = VAR_0;

    rec->timestamp_ns = get_clock();

    rec->VAR_1 = VAR_1;

    rec->VAR_2 = VAR_2;

    rec->VAR_3 = VAR_3;

    rec->VAR_4 = VAR_4;

    rec->VAR_5 = VAR_5;

    rec->VAR_6 = VAR_6;



    if (++trace_idx == TRACE_BUF_LEN) {

        st_flush_trace_buffer();

    }

}

static void FUNC_0(TraceEventID VAR_0, uint64_t VAR_1, uint64_t VAR_2, uint64_t VAR_3,
uint64_t VAR_4, uint64_t VAR_5, uint64_t VAR_6)
{ TraceRecord *rec = &trace_buf[trace_idx]; if (!trace_list[VAR_0].state) { return; } rec->VAR_0 = VAR_0; rec->timestamp_ns = get_clock(); rec->VAR_1 = VAR_1; rec->VAR_2 = VAR_2; rec->VAR_3 = VAR_3; rec->VAR_4 = VAR_4; rec->VAR_5 = VAR_5; rec->VAR_6 = VAR_6; if (++trace_idx == TRACE_BUF_LEN) { st_flush_trace_buffer(); } }