>>> On 02.06.15 at 19:41, wrote:
> @@ -1074,6 +1075,9 @@ void ept_sync_domain(struct p2m_domain *p2m)
> if ( !paging_mode_hap(d) || !d->vcpu || !d->vcpu[0] )
> return;
>
> +if ( nestedhvm_enabled(d) )
> +p2m_flush_nestedp2m(d);
> +
> ASSERT(local_irq_is_enabled());
If the host EPT entry is changed, the nested EPT should be updated.
The current code does not do this, and it's wrong.
Reported-by: Tim Deegan
Signed-off-by: Liang Li
Signed-off-by: Yang Zhang
---
xen/arch/x86/mm/p2m-ept.c | 4
1 file changed, 4 insertions(+)
diff --git a/xen/arch/x86/mm
