Lines Matching refs:TSC_OFFSET
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()
8044 pr_err("TSC Offset = 0x%016lx\n", vmcs_readl(TSC_OFFSET)); in dump_vmcs()
9716 vmcs_write64(TSC_OFFSET, in prepare_vmcs02()
9719 vmcs_write64(TSC_OFFSET, vmx->nested.vmcs01_tsc_offset); in prepare_vmcs02()
9947 vmx->nested.vmcs01_tsc_offset = vmcs_read64(TSC_OFFSET); in nested_vmx_run()
10469 vmcs_write64(TSC_OFFSET, vmx->nested.vmcs01_tsc_offset); in nested_vmx_vmexit()