Searched refs:vcpu_id_str (Results 1 – 5 of 5) sorted by relevance
21 const char *vcpu_id_str = "id"; variable
144 extern const char *vcpu_id_str;
20 const char *vcpu_id_str = "vcpu_id"; variable
16 const char *vcpu_id_str = "vcpu_id"; variable
419 vcpu_id_str); in per_vcpu_record()
