>>> On 02.06.15 at 19:41, <liang.z...@intel.com> 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()); > > /*
Looks plausible, but I think the addition would better go after the ASSERT(). Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel