tree e5ee690406a8ebe381ce5d712f010a5a0c706c4c
parent 1d075434149c38d457c30d1f11d9c39210b0bb79
author Marcelo Tosatti <marcelo@kvack.org> 1197418347 -0500
committer Avi Kivity <avi@qumranet.com> 1201708401 +0200

KVM: MMU: Fix SMP shadow instantiation race

There is a race where VCPU0 is shadowing a pagetable entry while VCPU1
is updating it, which results in a stale shadow copy.

Fix that by comparing the contents of the cached guest pte with the
current guest pte after write-protecting the guest pagetable.

Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Signed-off-by: Avi Kivity <avi@qumranet.com>