diff options
author | Avi Kivity <avi@qumranet.com> | 2007-01-05 16:36:49 -0800 |
---|---|---|
committer | Linus Torvalds <torvalds@woody.osdl.org> | 2007-01-05 23:55:26 -0800 |
commit | 5f1e0b6abcc100a79528387207adc3dd92aa5374 (patch) | |
tree | 5bdabf79d89bea50e66db6960611702e9c39543b /drivers/kvm/mmu.c | |
parent | 260746c03dcb2e5089f95b60cb786aaf405ced63 (diff) | |
download | op-kernel-dev-5f1e0b6abcc100a79528387207adc3dd92aa5374.zip op-kernel-dev-5f1e0b6abcc100a79528387207adc3dd92aa5374.tar.gz |
[PATCH] KVM: MMU: Ensure freed shadow pages are clean
Signed-off-by: Avi Kivity <avi@qumranet.com>
Acked-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'drivers/kvm/mmu.c')
-rw-r--r-- | drivers/kvm/mmu.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/kvm/mmu.c b/drivers/kvm/mmu.c index c55ce7d..b9ba240 100644 --- a/drivers/kvm/mmu.c +++ b/drivers/kvm/mmu.c @@ -318,6 +318,7 @@ static void kvm_mmu_free_page(struct kvm_vcpu *vcpu, hpa_t page_hpa) { struct kvm_mmu_page *page_head = page_header(page_hpa); + ASSERT(is_empty_shadow_page(page_hpa)); list_del(&page_head->link); page_head->page_hpa = page_hpa; list_add(&page_head->link, &vcpu->free_pages); |