Searched refs:TSC_MULTIPLIER (Results 1 – 6 of 6) sorted by relevance
109 vmwrite(TSC_MULTIPLIER, TSC_MULTIPLIER_L2); in l1_guest_code()
39 FIELD64(TSC_MULTIPLIER, tsc_multiplier),
2555 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in prepare_vmcs02()4621 vmcs_write64(TSC_MULTIPLIER, vcpu->arch.tsc_scaling_ratio); in nested_vmx_vmexit()
1799 vmcs_write64(TSC_MULTIPLIER, multiplier); in vmx_write_tsc_multiplier()6064 vmcs_read64(TSC_MULTIPLIER)); in dump_vmcs()
211 TSC_MULTIPLIER = 0x00002032, enumerator
222 TSC_MULTIPLIER = 0x00002032, enumerator