On Wed, Aug 05, 2020 at 08:48:03PM +0200, Paolo Bonzini wrote: > On 05/08/20 19:10, Ben Gardon wrote: > >> > >> Alternatively, what about moving this logic into mmu_page_zap_pte()? That > >> can be done with a little massaging of FNAME(invlpg) and would avoid what is > >> effectively redundant checks on is_shadow_present_pte() and is_last_spte(). > >> Patches attached and somewhat tested. > > That seems like a good change to me and the patches you attached look > > good to me. I'm happy to review them more if you want to send them to > > the mailing list as their own series. Thanks for putting them > > together. > > > > Thanks, I'll wait for that. Sorry for the delay, been buried with internal stuff. I'll get the series posted on Monday.
