Re: [PATCH v7 08/14] KVM: Rename mmu_notifier_*

[Paolo Bonzini]

On 7/29/22 21:02, Sean Christopherson wrote:
> If we really want a different name, I'd vote for nomenclature that captures the
> invalidation aspect, which is really what the variables are all trackng, e.g.
>
>    mmu_invalidate_seq
>    mmu_invalidate_in_progress
>    mmu_invalidate_range_start
>    mmu_invalidate_range_end

Agreed, and this can of course be committed separately if Chao Peng 
sends it outside this series.

Paolo