Searched refs:vtsc (Results 1 – 12 of 12) sorted by relevance
1036 if ( d->arch.vtsc ) in __update_vcpu_system_time()2087 if ( d->arch.vtsc ) in tsc_get_info()2099 if ( d->arch.vtsc ) in tsc_get_info()2133 d->arch.vtsc = 0; in tsc_set_info()2160 d->arch.vtsc = 0; in tsc_set_info()2163 d->arch.vtsc = 1; in tsc_set_info()2167 d->arch.vtsc = !boot_cpu_has(X86_FEATURE_RDTSCP) || in tsc_set_info()2169 enable_tsc_scaling = is_hvm_domain(d) && !d->arch.vtsc && in tsc_set_info()2174 if ( d->arch.vtsc ) in tsc_set_info()2188 if ( hvm_tsc_scaling_supported && !d->arch.vtsc ) in tsc_set_info()[all …]
874 res->a = ((d->arch.vtsc << 0) | in cpuid_hypervisor_leaves()886 if ( !d->arch.vtsc ) in cpuid_hypervisor_leaves()
516 if ( cpu_has_itsc && (d->disable_migrate || d->arch.vtsc) ) in recalculate_cpuid_policy()
369 bool_t vtsc; /* tsc is emulated (may change after migrate) */ member619 | ((v)->domain->arch.vtsc ? X86_CR4_TSD : 0)) \
119 if ( v->domain->arch.vtsc && !cpu_has_tsc_ratio ) in construct_vmcb()
1009 if ( cpu_has_tsc_ratio && !v->domain->arch.vtsc ) in svm_tsc_ratio_save()1015 if ( cpu_has_tsc_ratio && !v->domain->arch.vtsc ) in svm_tsc_ratio_load()
73 if ( d->arch.vtsc ) in arch_hvm_load()
516 if ( !host_tsc_is_safe() || d->arch.vtsc ) in update_reference_tsc()
402 if ( v->domain->arch.vtsc ) in hvm_set_guest_tsc_fixed()443 if ( v->domain->arch.vtsc ) in hvm_get_guest_tsc_fixed()3376 if ( currd->arch.vtsc ) in _hvm_rdtsc_intercept()
1375 else if ( currd->arch.vtsc ) in pv_emulate_privileged_op()
1009 if ( d->arch.vtsc && !cpu_has_vmx_tsc_scaling ) in construct_vmcs()
1386 if ( !hvm_tsc_scaling_supported || v->domain->arch.vtsc ) in vmx_setup_tsc_scaling()
Completed in 43 milliseconds