Searched refs:next_vcpu_id (Results 1 – 1 of 1) sorted by relevance
40 static uint32_t next_vcpu_id; variable306 return next_vcpu_id; in trace_get_vcpu_event_count()