Searched refs:TSC_OFFSET (Results 1 – 3 of 3) sorted by relevance
149 TSC_OFFSET = 0x00002010, enumerator
671 TSC_OFFSET,711 FIELD64(TSC_OFFSET, tsc_offset),2403 tsc_offset = vmcs_read64(TSC_OFFSET); in guest_read_tsc()2417 vmcs_read64(TSC_OFFSET); in vmx_read_l1_tsc()2423 return vmcs_read64(TSC_OFFSET); in vmx_read_tsc_offset()2442 vmcs_write64(TSC_OFFSET, offset + in vmx_write_tsc_offset()2447 vmcs_read64(TSC_OFFSET), offset); in vmx_write_tsc_offset()2448 vmcs_write64(TSC_OFFSET, offset); in vmx_write_tsc_offset()2454 u64 offset = vmcs_read64(TSC_OFFSET); in vmx_adjust_tsc_offset_guest()2456 vmcs_write64(TSC_OFFSET, offset + adjustment); in vmx_adjust_tsc_offset_guest()[all …]
430 addition, VMX allows passing through the host TSC plus an additional TSC_OFFSET