Lines Matching refs:vtsc
1036 if ( d->arch.vtsc ) in __update_vcpu_system_time()
2074 hvm_tsc_scaling_supported && !d->arch.vtsc; in tsc_get_info()
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()
2192 hvm_set_rdtsc_exiting(d, d->arch.vtsc); in tsc_set_info()