Searched refs:vcpu_tversion (Results 1 – 1 of 1) sorted by relevance
1087 uint32_t vcpu_tversion; in cpu_get_tsc_freq() local1090 vcpu_tversion = tinfo->version; in cpu_get_tsc_freq()1091 while (tinfo->version == vcpu_tversion); /* Wait for a time update. XXX: timeout ? */ in cpu_get_tsc_freq()