VMCS_TSC_OFFSET
error = vm_get_vmcs_field(vcpu, VMCS_TSC_OFFSET,
vmcs_write(VMCS_TSC_OFFSET, offset);