diff options
| author | Avi Kivity <avi@qumranet.com> | 2007-01-06 03:36:49 +0300 |
|---|---|---|
| committer | Linus Torvalds <torvalds@woody.osdl.org> | 2007-01-06 10:55:26 +0300 |
| commit | 5f1e0b6abcc100a79528387207adc3dd92aa5374 (patch) | |
| tree | 5bdabf79d89bea50e66db6960611702e9c39543b /drivers/kvm | |
| parent | 260746c03dcb2e5089f95b60cb786aaf405ced63 (diff) | |
| download | linux-5f1e0b6abcc100a79528387207adc3dd92aa5374.tar.xz | |
[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); |