ept_free_entry() gets called after a flush was already issued, if one is
necessary in the first place. That behavior is similar to NPT, which
also doesn't have any further flush in p2m_free_entry(). (Furthermore,
the function being recursive, in case of recursiveness way too many
flushes would have been issued.)
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
Reviewed-by: Kevin Tian <kevin.tian@intel.com>
ept_free_entry(p2m, epte + i, level - 1);
unmap_domain_page(epte);
}
-
- p2m_tlb_flush_sync(p2m);
+
p2m_free_ptp(p2m, mfn_to_page(_mfn(ept_entry->mfn)));
}