Searched refs:TSC_OFFSET (Results 1 – 3 of 3) sorted by relevance
117 TSC_OFFSET = 0x00002010, enumerator
1149 tsc_offset = vmcs_read64(TSC_OFFSET); in guest_read_tsc()1158 vmcs_write64(TSC_OFFSET, offset); in vmx_write_tsc_offset()1163 u64 offset = vmcs_read64(TSC_OFFSET); in vmx_adjust_tsc_offset()1164 vmcs_write64(TSC_OFFSET, offset + adjustment); in vmx_adjust_tsc_offset()
430 addition, VMX allows passing through the host TSC plus an additional TSC_OFFSET