void trace_init_vcpu_events(void)

{

    TraceEvent *ev = NULL;

    while ((ev = trace_event_pattern("*", ev)) != NULL) {

        if (trace_event_is_vcpu(ev) &&

            trace_event_get_state_static(ev) &&

            trace_event_get_state_dynamic(ev)) {

            TraceEventID id = trace_event_get_id(ev);

            /* check preconditions */

            assert(trace_events_dstate[id] == 1);

            /* disable early-init state ... */

            trace_events_dstate[id] = 0;

            trace_events_enabled_count--;

            /* ... and properly re-enable */

            trace_event_set_state_dynamic(ev, true);

        }

    }

}

void trace_init_vcpu_events(void)

{

    TraceEvent *ev = NULL;

    while ((ev = trace_event_pattern("*", ev)) != NULL) {

        if (trace_event_is_vcpu(ev) &&

            trace_event_get_state_static(ev) &&

            trace_event_get_state_dynamic(ev)) {

            TraceEventID id = trace_event_get_id(ev);

            

            assert(trace_events_dstate[id] == 1);

            

            trace_events_dstate[id] = 0;

            trace_events_enabled_count--;

            

            trace_event_set_state_dynamic(ev, true);

        }

    }

}

void trace_init_vcpu_events(void)     TraceEvent *ev = NULL;     while ((ev = trace_event_pattern("*", ev)) != NULL) {         if (trace_event_is_vcpu(ev) &&             trace_event_get_state_static(ev) &&             trace_event_get_state_dynamic(ev)) {             TraceEventID id = trace_event_get_id(ev);             assert(trace_events_dstate[id] == 1);             trace_events_dstate[id] = 0;             trace_events_enabled_count--;             trace_event_set_state_dynamic(ev, true);
void FUNC_0(void)

{

    TraceEvent *ev = NULL;

    while ((ev = trace_event_pattern("*", ev)) != NULL) {

        if (trace_event_is_vcpu(ev) &&

            trace_event_get_state_static(ev) &&

            trace_event_get_state_dynamic(ev)) {

            TraceEventID id = trace_event_get_id(ev);

            

            assert(trace_events_dstate[id] == 1);

            

            trace_events_dstate[id] = 0;

            trace_events_enabled_count--;

            

            trace_event_set_state_dynamic(ev, true);

        }

    }

}

void FUNC_0(void)
{ TraceEvent *ev = NULL; while ((ev = trace_event_pattern("*", ev)) != NULL) { if (trace_event_is_vcpu(ev) &&
trace_event_get_state_static(ev) &&
trace_event_get_state_dynamic(ev)) { TraceEventID id = trace_event_get_id(ev); assert(trace_events_dstate[id] == 1); trace_events_dstate[id] = 0; trace_events_enabled_count--; trace_event_set_state_dynamic(ev, true); } } }