TSC_OFFSET
EVMCS1_FIELD(TSC_OFFSET, tsc_offset,
vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset);
vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset);
FIELD64(TSC_OFFSET, tsc_offset),
vmcs_write64(TSC_OFFSET, vcpu->arch.tsc_offset);
pr_err("TSC Offset = 0x%016llx\n", vmcs_read64(TSC_OFFSET));
case TSC_OFFSET:
case TSC_OFFSET:
vmwrite(TSC_OFFSET, TSC_OFFSET_VALUE);
vmwrite(TSC_OFFSET, TSC_OFFSET_L2);