Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-12-12 Thread Nadav Har'El
On Sun, Nov 13, 2011, Avi Kivity wrote about Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX: I also believed that the fault injection part was also correct: I thought that the code already knows when to handle the fault in L2 (when the address is missing in cr3), in L1 (when

Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-12-12 Thread Avi Kivity
On 12/12/2011 01:37 PM, Nadav Har'El wrote: On Sun, Nov 13, 2011, Avi Kivity wrote about Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX: I also believed that the fault injection part was also correct: I thought that the code already knows when to handle the fault in L2 (when

Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-11-13 Thread Nadav Har'El
Hi, On Thu, Nov 10, 2011, Avi Kivity wrote about Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX: This patchset is missing a fairly hairy patch that makes reading L2 virtual addresses work. This was supposed to be part of the nested TDP code that is already in the code. To read an L2

Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-11-13 Thread Avi Kivity
On 11/13/2011 10:52 AM, Nadav Har'El wrote: Hi, On Thu, Nov 10, 2011, Avi Kivity wrote about Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX: This patchset is missing a fairly hairy patch that makes reading L2 virtual addresses work. This was supposed to be part of the nested

[PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-11-10 Thread Nadav Har'El
The following patches add nested EPT support to Nested VMX. Nested EPT means emulating EPT for an L1 guest, allowing it use EPT when running a nested guest L2. When L1 uses EPT, it allows the L2 guest to set its own cr3 and take its own page faults without either of L0 or L1 getting involved. In

Re: [PATCH 0/10] nEPT: Nested EPT support for Nested VMX

2011-11-10 Thread Avi Kivity
On 11/10/2011 11:57 AM, Nadav Har'El wrote: The following patches add nested EPT support to Nested VMX. Nested EPT means emulating EPT for an L1 guest, allowing it use EPT when running a nested guest L2. When L1 uses EPT, it allows the L2 guest to set its own cr3 and take its own page faults