• Sean Christopherson's avatar
    KVM: x86/mmu: Formalize TDP MMU's (unintended?) deferred TLB flush logic · db01416b
    Sean Christopherson authored
    Explicitly ignore the result of zap_gfn_range() when putting the last
    reference to a TDP MMU root, and add a pile of comments to formalize the
    TDP MMU's behavior of deferring TLB flushes to alloc/reuse.  Note, this
    only affects the !shared case, as zap_gfn_range() subtly never returns
    true for "flush" as the flush is handled by tdp_mmu_zap_spte_atomic().
    
    Putting the root without a flush is ok because even if there are stale
    references to the root in the TLB, they are unreachable because KVM will
    not run the guest with the same ASID without first flushing (where ASID
    in this context refers to both SVM's explicit ASID and Intel's implicit
    ASID that is constructed from VPID+PCID+EPT4A+etc...).
    Signed-off-by: default avatarSean Christopherson <seanjc@google.com>
    Message-Id: <20220226001546.360188-5-seanjc@google.com>
    Reviewed-by: default avatarMingwei Zhang <mizhang@google.com>
    Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>
    db01416b
mmu.c 172 KB