]> www.infradead.org Git - users/dwmw2/linux.git/commit
KVM: x86/mmu: Add lockdep assert to enforce safe usage of kvm_unmap_gfn_range()
authorSean Christopherson <seanjc@google.com>
Wed, 9 Oct 2024 19:23:44 +0000 (12:23 -0700)
committerPaolo Bonzini <pbonzini@redhat.com>
Sun, 20 Oct 2024 11:31:05 +0000 (07:31 -0400)
commit28cf4978810791bf30288e59f1b9dc31eeeb68e6
tree0fe47886db570be6d0822a25958ffaa62aec681e
parent58a20a9435aaf696d4ae778a5c727be55ff8544d
KVM: x86/mmu: Add lockdep assert to enforce safe usage of kvm_unmap_gfn_range()

Add a lockdep assertion in kvm_unmap_gfn_range() to ensure that either
mmu_invalidate_in_progress is elevated, or that the range is being zapped
due to memslot removal (loosely detected by slots_lock being held).
Zapping SPTEs without mmu_invalidate_{in_progress,seq} protection is unsafe
as KVM's page fault path snapshots state before acquiring mmu_lock, and
thus can create SPTEs with stale information if vCPUs aren't forced to
retry faults (due to seeing an in-progress or past MMU invalidation).

Memslot removal is a special case, as the memslot is retrieved outside of
mmu_invalidate_seq, i.e. doesn't use the "standard" protections, and
instead relies on SRCU synchronization to ensure any in-flight page faults
are fully resolved before zapping SPTEs.

Signed-off-by: Sean Christopherson <seanjc@google.com>
Message-ID: <20241009192345.1148353-3-seanjc@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
arch/x86/kvm/mmu/mmu.c