Home
last modified time | relevance | path

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

/arch/x86/kvm/vmx/
A Dvmcs12.c40 FIELD64(TSC_MULTIPLIER, tsc_multiplier),
A Dhyperv_evmcs.c129 EVMCS1_FIELD(TSC_MULTIPLIER, tsc_multiplier,
A Dnested.c2710 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in prepare_vmcs02()
5057 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in __nested_vmx_vmexit()
A Dvmx.c1903 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in vmx_write_tsc_multiplier()
6324 vmcs_read64(TSC_MULTIPLIER)); in dump_vmcs()
/arch/x86/include/asm/
A Dvmx.h255 TSC_MULTIPLIER = 0x00002032, enumerator

Completed in 30 milliseconds