Searched refs:TSC_OFFSET (Results 1 – 3 of 3) sorted by relevance
147 TSC_OFFSET = 0x00002010, enumerator
616 TSC_OFFSET,656 FIELD64(TSC_OFFSET, tsc_offset),2258 tsc_offset = vmcs_read64(TSC_OFFSET); in guest_read_tsc()2272 vmcs_read64(TSC_OFFSET); in vmx_read_l1_tsc()2294 return vmcs_read64(TSC_OFFSET); in vmx_read_tsc_offset()2313 vmcs_write64(TSC_OFFSET, offset + in vmx_write_tsc_offset()2318 vmcs_read64(TSC_OFFSET), offset); in vmx_write_tsc_offset()2319 vmcs_write64(TSC_OFFSET, offset); in vmx_write_tsc_offset()2325 u64 offset = vmcs_read64(TSC_OFFSET); in vmx_adjust_tsc_offset()2327 vmcs_write64(TSC_OFFSET, offset + adjustment); in vmx_adjust_tsc_offset()[all …]
430 addition, VMX allows passing through the host TSC plus an additional TSC_OFFSET