Home
last modified time | relevance | path

Searched refs:tsc_khz (Results 1 – 5 of 5) sorted by relevance

/xen/xen/arch/x86/
A Dtime.c1567 static void check_tsc_warp(unsigned long tsc_khz, unsigned long *max_warp) in check_tsc_warp() argument
1578 end = start + tsc_khz * 20ULL; in check_tsc_warp()
2359 *gtsc_khz = d->arch.tsc_khz; in tsc_get_info()
2364 *gtsc_khz = enable_tsc_scaling ? d->arch.tsc_khz : cpu_khz; in tsc_get_info()
2397 d->arch.tsc_khz = gtsc_khz ?: cpu_khz; in tsc_set_info()
2398 set_time_scale(&d->arch.vtsc_to_ns, d->arch.tsc_khz * 1000); in tsc_set_info()
2408 (d->arch.tsc_khz == cpu_khz || in tsc_set_info()
2410 hvm_get_tsc_scaling_ratio(d->arch.tsc_khz))) ) in tsc_set_info()
2431 hvm_get_tsc_scaling_ratio(d->arch.tsc_khz); in tsc_set_info()
2488 if ( d->arch.tsc_khz ) in dump_softtsc()
[all …]
A Dtraps.c1005 res->c = d->arch.tsc_khz; in cpuid_hypervisor_leaves()
/xen/xen/arch/x86/hvm/viridian/
A Dtime.c70 p->tsc_scale = ((10000ul << 32) / d->arch.tsc_khz) << 32; in update_reference_tsc()
83 scale = ((10000ul << 32) / d->arch.tsc_khz) << 32; in trc_val()
417 *val = (uint64_t)d->arch.tsc_khz * 1000ull; in viridian_time_rdmsr()
/xen/xen/arch/x86/hvm/
A Dsave.c39 hdr->gtsc_khz = d->arch.tsc_khz; in arch_hvm_save()
72 d->arch.tsc_khz = hdr->gtsc_khz; in arch_hvm_load()
/xen/xen/include/asm-x86/
A Ddomain.h380 uint32_t tsc_khz; /* cached guest khz for certain emulated or member

Completed in 40 milliseconds