Searched refs:TSC_OFFSET (Results 1 – 6 of 6) 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
2767 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in prepare_vmcs02()5148 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in __nested_vmx_vmexit()