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