Searched refs:vtsc (Results 1 – 13 of 13) sorted by relevance
1247 if ( d->arch.vtsc ) in __update_vcpu_system_time()2342 hvm_tsc_scaling_supported && !d->arch.vtsc; in tsc_get_info()2355 if ( d->arch.vtsc ) in tsc_get_info()2388 d->arch.vtsc = 0; in tsc_set_info()2413 d->arch.vtsc = 0; in tsc_set_info()2416 d->arch.vtsc = 1; in tsc_set_info()2429 if ( hvm_tsc_scaling_supported && !d->arch.vtsc ) in tsc_set_info()2433 hvm_set_rdtsc_exiting(d, d->arch.vtsc); in tsc_set_info()
1001 res->a = ((d->arch.vtsc << 0) | in cpuid_hypervisor_leaves()1013 if ( !d->arch.vtsc ) in cpuid_hypervisor_leaves()
628 if ( cpu_has_itsc && (d->disable_migrate || d->arch.vtsc) ) in recalculate_cpuid_policy()
107 if ( v->domain->arch.vtsc && !cpu_has_tsc_ratio ) in construct_vmcb()
927 if ( cpu_has_tsc_ratio && !v->domain->arch.vtsc ) in svm_tsc_ratio_save()933 if ( cpu_has_tsc_ratio && !v->domain->arch.vtsc ) in svm_tsc_ratio_load()
377 bool_t vtsc; /* tsc is emulated (may change after migrate) */ member
73 if ( d->arch.vtsc ) in arch_hvm_load()
423 if ( v->domain->arch.vtsc ) in hvm_set_guest_tsc_fixed()466 if ( v->domain->arch.vtsc ) in hvm_get_guest_tsc_fixed()
206 if ( d->arch.vtsc || (v->arch.pv.ctrlreg[4] & X86_CR4_TSD) ) in pv_make_cr4()
862 *val = currd->arch.vtsc ? pv_soft_rdtsc(curr, ctxt->regs) : rdtsc(); in read_msr()
45 if ( !host_tsc_is_safe() || d->arch.vtsc ) in update_reference_tsc()
1070 if ( d->arch.vtsc && !cpu_has_vmx_tsc_scaling ) in construct_vmcs()
1233 if ( v->domain->arch.vtsc ) in vmx_setup_tsc_scaling()
Completed in 41 milliseconds