Searched refs:vcpu_id_str (Results 1 – 5 of 5) sorted by relevance
22 const char *vcpu_id_str = "id"; variable
141 extern const char *vcpu_id_str;
12 const char *vcpu_id_str = "vcpu_id"; variable
18 const char *vcpu_id_str = "vcpu_id"; variable
413 vcpu_id_str); in per_vcpu_record()
