Searched refs:TSC_OFFSET (Results 1 – 5 of 5) sorted by relevance
38 FIELD64(TSC_OFFSET, tsc_offset),
71 EVMCS1_FIELD(TSC_OFFSET, tsc_offset,
2549 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in prepare_vmcs02()4640 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in nested_vmx_vmexit()
1800 vmcs_write64(TSC_OFFSET, offset); in vmx_write_tsc_offset()5961 pr_err("TSC Offset = 0x%016llx\n", vmcs_read64(TSC_OFFSET)); in dump_vmcs()
192 TSC_OFFSET = 0x00002010, enumerator