Searched refs:sync_tsc (Results 1 – 5 of 5) sorted by relevance
178 uint64_t sync_tsc; member
42 d->arch.hvm_domain.sync_tsc = rdtsc(); in arch_hvm_save()77 d->arch.hvm_domain.sync_tsc = rdtsc(); in arch_hvm_load()
321 v->domain->arch.hvm_domain.sync_tsc); in arch_set_info_hvm_guest()
789 ctxt.tsc = hvm_get_guest_tsc_fixed(v, d->arch.hvm_domain.sync_tsc); in hvm_save_cpu_ctxt()1047 hvm_set_guest_tsc_fixed(v, ctxt.tsc, d->arch.hvm_domain.sync_tsc); in hvm_load_cpu_ctxt()3947 d->arch.hvm_domain.sync_tsc); in hvm_vcpu_reset_state()
2203 d->arch.hvm_domain.sync_tsc = rdtsc(); in tsc_set_info()2206 d->arch.hvm_domain.sync_tsc); in tsc_set_info()
Completed in 14 milliseconds