Searched refs:tsc_khz (Results 1 – 5 of 5) sorted by relevance
1367 end = start + tsc_khz * 20ULL; in check_tsc_warp()2091 *gtsc_khz = d->arch.tsc_khz; in tsc_get_info()2096 *gtsc_khz = enable_tsc_scaling ? d->arch.tsc_khz : cpu_khz; in tsc_get_info()2109 *gtsc_khz = enable_tsc_scaling ? d->arch.tsc_khz in tsc_get_info()2144 d->arch.tsc_khz = gtsc_khz ?: cpu_khz; in tsc_set_info()2145 set_time_scale(&d->arch.vtsc_to_ns, d->arch.tsc_khz * 1000); in tsc_set_info()2155 (d->arch.tsc_khz == cpu_khz || in tsc_set_info()2157 hvm_get_tsc_scaling_ratio(d->arch.tsc_khz))) ) in tsc_set_info()2190 hvm_get_tsc_scaling_ratio(d->arch.tsc_khz); in tsc_set_info()2242 if ( d->arch.tsc_khz ) in dump_softtsc()[all …]
878 res->c = d->arch.tsc_khz; in cpuid_hypervisor_leaves()
39 hdr->gtsc_khz = d->arch.tsc_khz; in arch_hvm_save()72 d->arch.tsc_khz = hdr->gtsc_khz; in arch_hvm_load()
546 p->TscScale = ((10000ul << 32) / d->arch.tsc_khz) << 32; in update_reference_tsc()678 set_time_scale(&tsc_to_ns, d->arch.tsc_khz * 1000ul); in raw_trc_val()733 *val = (uint64_t)d->arch.tsc_khz * 1000ull; in rdmsr_viridian_regs()
373 uint32_t tsc_khz; /* cached guest khz for certain emulated or member
Completed in 15 milliseconds