Lines Matching refs:tsc
380 u64 hvm_scale_tsc(const struct domain *d, u64 tsc) in hvm_scale_tsc() argument
386 return tsc; in hvm_scale_tsc()
390 : [tsc] "+a" (tsc), "=&d" (dummy) in hvm_scale_tsc()
394 return tsc; in hvm_scale_tsc()
399 uint64_t tsc; in hvm_set_guest_tsc_fixed() local
404 tsc = hvm_get_guest_time_fixed(v, at_tsc); in hvm_set_guest_tsc_fixed()
405 tsc = gtime_to_gtsc(v->domain, tsc); in hvm_set_guest_tsc_fixed()
409 tsc = at_tsc ?: rdtsc(); in hvm_set_guest_tsc_fixed()
411 tsc = hvm_scale_tsc(v->domain, tsc); in hvm_set_guest_tsc_fixed()
414 delta_tsc = guest_tsc - tsc; in hvm_set_guest_tsc_fixed()
441 uint64_t tsc; in hvm_get_guest_tsc_fixed() local
445 tsc = hvm_get_guest_time_fixed(v, at_tsc); in hvm_get_guest_tsc_fixed()
446 tsc = gtime_to_gtsc(v->domain, tsc); in hvm_get_guest_tsc_fixed()
450 tsc = at_tsc ?: rdtsc(); in hvm_get_guest_tsc_fixed()
452 tsc = hvm_scale_tsc(v->domain, tsc); in hvm_get_guest_tsc_fixed()
455 return tsc + v->arch.hvm_vcpu.cache_tsc_offset; in hvm_get_guest_tsc_fixed()
789 ctxt.tsc = hvm_get_guest_tsc_fixed(v, d->arch.hvm_domain.sync_tsc); in hvm_save_cpu_ctxt()
947 (p->basic.tsc ? X86_CR4_TSD : 0) | in hvm_cr4_guest_valid_bits()
1047 hvm_set_guest_tsc_fixed(v, ctxt.tsc, d->arch.hvm_domain.sync_tsc); in hvm_load_cpu_ctxt()