From: Nadav Har'El [mailto:n...@math.technion.ac.il]
Sent: Sunday, May 22, 2011 3:23 PM
Hi,
On Sun, May 22, 2011, Tian, Kevin wrote about RE: [PATCH 07/31] nVMX:
Introduce vmcs02: VMCS used to run L2:
Here the vmcs02 being overridden may have been run on another processor
before
From: Nadav Har'El [mailto:n...@math.technion.ac.il]
Sent: Sunday, May 22, 2011 4:30 PM
Hi,
On Fri, May 20, 2011, Tian, Kevin wrote about RE: [PATCH 07/31] nVMX:
Introduce vmcs02: VMCS used to run L2:
Possibly we can maintain the vmcs02 pool along with L1 VMCLEAR ops, which
is similar
Hi,
On Sun, May 22, 2011, Tian, Kevin wrote about RE: [PATCH 07/31] nVMX:
Introduce vmcs02: VMCS used to run L2:
Here the vmcs02 being overridden may have been run on another processor before
but is not vmclear-ed yet. When you resume this vmcs02 with new content on a
separate processor
Hi,
On Fri, May 20, 2011, Tian, Kevin wrote about RE: [PATCH 07/31] nVMX:
Introduce vmcs02: VMCS used to run L2:
Possibly we can maintain the vmcs02 pool along with L1 VMCLEAR ops, which
is similar to the hardware behavior regarding to cleared and launched state.
If you set VMCS02_POOL_SIZE
From: Nadav Har'El [mailto:n...@math.technion.ac.il]
Sent: Saturday, May 21, 2011 4:32 AM
On Fri, May 20, 2011, Tian, Kevin wrote about RE: [PATCH 07/31] nVMX:
Introduce vmcs02: VMCS used to run L2:
btw, shouldn't you clear recycled VMCS and reset 'cpu' and 'launched'
fields?
Well, I
From: Nadav Har'El
Sent: Tuesday, May 17, 2011 3:48 AM
We saw in a previous patch that L1 controls its L2 guest with a vcms12.
L0 needs to create a real VMCS for running L2. We call that vmcs02.
A later patch will contain the code, prepare_vmcs02(), for filling the vmcs02
fields. This
From: Tian, Kevin
Sent: Friday, May 20, 2011 4:05 PM
From: Nadav Har'El
Sent: Tuesday, May 17, 2011 3:48 AM
We saw in a previous patch that L1 controls its L2 guest with a vcms12.
L0 needs to create a real VMCS for running L2. We call that vmcs02.
A later patch will contain the
On Fri, May 20, 2011, Tian, Kevin wrote about RE: [PATCH 07/31] nVMX:
Introduce vmcs02: VMCS used to run L2:
btw, shouldn't you clear recycled VMCS and reset 'cpu' and 'launched' fields?
Well, I believe the answer is no: As far as I understood, a host is allowed
to take a VMCS that has been
We saw in a previous patch that L1 controls its L2 guest with a vcms12.
L0 needs to create a real VMCS for running L2. We call that vmcs02.
A later patch will contain the code, prepare_vmcs02(), for filling the vmcs02
fields. This patch only contains code for allocating vmcs02.
In this version,