Lines Matching refs:TSC_OFFSET
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()
9316 vmcs_write64(TSC_OFFSET, in prepare_vmcs02()
9319 vmcs_write64(TSC_OFFSET, vmx->nested.vmcs01_tsc_offset); in prepare_vmcs02()
9535 vmx->nested.vmcs01_tsc_offset = vmcs_read64(TSC_OFFSET); in nested_vmx_run()
10057 vmcs_write64(TSC_OFFSET, vmx->nested.vmcs01_tsc_offset); in nested_vmx_vmexit()