Searched refs:TSC_OFFSET (Results 1 – 5 of 5) sorted by relevance
39 FIELD64(TSC_OFFSET, tsc_offset),
65 EVMCS1_FIELD(TSC_OFFSET, tsc_offset,
2708 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in prepare_vmcs02()5055 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in __nested_vmx_vmexit()
1898 vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset); in vmx_write_tsc_offset()6321 pr_err("TSC Offset = 0x%016llx\n", vmcs_read64(TSC_OFFSET)); in dump_vmcs()
223 TSC_OFFSET = 0x00002010, enumerator
Completed in 29 milliseconds