Home
last modified time | relevance | path

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

/arch/x86/kvm/vmx/
Dvmcs12.c40 FIELD64(TSC_MULTIPLIER, tsc_multiplier),
Dhyperv.c136 EVMCS1_FIELD(TSC_MULTIPLIER, tsc_multiplier,
Dnested.c2590 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in prepare_vmcs02()
4858 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in nested_vmx_vmexit()
Dvmx.c1934 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in vmx_write_tsc_multiplier()
6392 vmcs_read64(TSC_MULTIPLIER)); in dump_vmcs()
/arch/x86/include/asm/
Dvmx.h232 TSC_MULTIPLIER = 0x00002032, enumerator