diff options
author | Avi Kivity <avi@qumranet.com> | 2007-01-06 01:36:49 +0100 |
---|---|---|
committer | Linus Torvalds <torvalds@woody.osdl.org> | 2007-01-06 08:55:26 +0100 |
commit | 5f1e0b6abcc100a79528387207adc3dd92aa5374 (patch) | |
tree | 5bdabf79d89bea50e66db6960611702e9c39543b /drivers/kvm | |
parent | [PATCH] KVM: MMU: <ove is_empty_shadow_page() above kvm_mmu_free_page() (diff) | |
download | linux-5f1e0b6abcc100a79528387207adc3dd92aa5374.tar.xz linux-5f1e0b6abcc100a79528387207adc3dd92aa5374.zip |
[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')
-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 c55ce7d1509e..b9ba240144b7 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); |