Searched refs:TSC_OFFSET (Results 1 – 7 of 7) sorted by relevance
101 vmwrite(TSC_OFFSET, TSC_OFFSET_VALUE); in l1_guest_code()
129 vmwrite(TSC_OFFSET, TSC_OFFSET_L2); in l1_vmx_code()
138 TSC_OFFSET = 0x00002010, enumerator
351 case TSC_OFFSET: in evmcs_vmread()774 case TSC_OFFSET: in evmcs_vmwrite()
450 addition, VMX allows passing through the host TSC plus an additional TSC_OFFSET
2786 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in prepare_vmcs02() 5167 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in __nested_vmx_vmexit()
2051 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in is_vmx_feature_control_msr_valid() 6649 pr_err("TSC Offset = 0x%016llx\n", vmcs_read64(TSC_OFFSET)); in dump_vmcs()