Lines Matching refs:vt
213 volatile struct vcpu_time_info *vt = &curcpu()->ci_vcpu->time;
215 while (__predict_false(1 & (tp->version = vt->version)))
225 return vt;
229 * xen_vcputime_exit(vt, tp)
236 xen_vcputime_exit(volatile struct vcpu_time_info *vt,
240 KASSERT(vt == &curcpu()->ci_vcpu->time);
249 return tp->version == vt->version;
288 volatile struct vcpu_time_info *vt;
305 vt = xen_vcputime_enter(&ticket);
308 raw_systime_ns = vt->system_time;
309 tsc_timestamp = vt->tsc_timestamp;
312 tsc_to_system_mul = vt->tsc_to_system_mul;
313 tsc_shift = vt->tsc_shift;
317 } while (!xen_vcputime_exit(vt, &ticket));
446 volatile struct vcpu_time_info *vt;
451 vt = xen_vcputime_enter(&ticket);
452 raw_systime_ns = vt->system_time;
453 } while (!xen_vcputime_exit(vt, &ticket));
616 volatile struct vcpu_time_info *vt;
624 vt = xen_vcputime_enter(&ticket);
626 tsc_to_system_mul = vt->tsc_to_system_mul;
627 tsc_shift = vt->tsc_shift;
628 } while (!xen_vcputime_exit(vt, &ticket));