diff -r ce4768a78051 xen/arch/x86/mm/hap/nested_hap.c --- a/xen/arch/x86/mm/hap/nested_hap.c Mon Aug 08 11:36:21 2011 +0200 +++ b/xen/arch/x86/mm/hap/nested_hap.c Fri Aug 19 13:28:20 2011 +0200 @@ -86,8 +86,9 @@ nestedp2m_write_p2m_entry(struct p2m_dom old_flags = l1e_get_flags(*p); safe_write_pte(p, new); + if (old_flags & _PAGE_PRESENT) - nestedhvm_vmcx_flushtlb(p2m); + flush_tlb_mask(&p2m->p2m_dirty_cpumask); paging_unlock(d); }