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 | |
| parent | [PATCH] KVM: MMU: <ove is_empty_shadow_page() above kvm_mmu_free_page() (diff) | |
| download | linux-dev-5f1e0b6abcc100a79528387207adc3dd92aa5374.tar.xz linux-dev-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>
| -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); |