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