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. Paolo
