Searched refs:TSC_MULTIPLIER (Results 1 – 4 of 4) sorted by relevance
39 FIELD64(TSC_MULTIPLIER, tsc_multiplier),
2551 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in prepare_vmcs02()4642 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in nested_vmx_vmexit()
1805 vmcs_write64(TSC_MULTIPLIER, multiplier); in vmx_write_tsc_multiplier()5964 vmcs_read64(TSC_MULTIPLIER)); in dump_vmcs()
222 TSC_MULTIPLIER = 0x00002032, enumerator