diff options
| author | Marcelo Tosatti <marcelo@kvack.org> | 2007-12-11 19:12:27 -0500 |
|---|---|---|
| committer | Avi Kivity <avi@qumranet.com> | 2008-01-30 17:53:21 +0200 |
| commit | 7819026eefee53eaaac3fdce1a2f157c7ea943fe (patch) | |
| tree | e5ee690406a8ebe381ce5d712f010a5a0c706c4c /ipc/msgutil.c | |
| parent | 1d075434149c38d457c30d1f11d9c39210b0bb79 (diff) | |
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>
Diffstat (limited to 'ipc/msgutil.c')
0 files changed, 0 insertions, 0 deletions