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 nyh@xxxxxxxxxxxxxxxxxxx |----------------------------------------- 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html