Hi, and thanks again for the reviews.

On Mon, May 09, 2011, Avi Kivity wrote about "Re: [PATCH 17/30] nVMX: Prepare 
vmcs02 from vmcs01 and vmcs12":
> >+    vmcs_write64(TSC_OFFSET,
> >+            vmx->nested.vmcs01_tsc_offset + vmcs12->tsc_offset);
> 
> This is probably wrong (everything with time is probably wrong), but we 
> can deal with it (much) later.

I thought this was right :-) Why do you believe it to be wrong?

L1 wants to add vmcs12->tsc_offset to its own TSC to generate L2's TSC.
But L1's TSC is itself with vmx->nested.vmcs01_tsc_offset from L0's TSC.
So their sum, vmx->nested.vmcs01_tsc_offset + vmcs12->tsc_offset, is the
offset of L2's TSC from L0's TSC. Am I missing something?

Thanks,
Nadav.

-- 
Nadav Har'El                        |        Monday, May  9 2011, 5 Iyyar 5771
n...@math.technion.ac.il             |-----------------------------------------
Phone +972-523-790466, ICQ 13349191 |I couldn't think of an interesting
http://nadav.harel.org.il           |signature to put here... Maybe next time.
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to