[PATCH 22/33] KVM: MMU: Ensure freed shadow pages are clean

Avi Kivity
2007-01-04T16:11:10Z

@@ -318,6 +318,7 @@ static void kvm_mmu_free_page(struct kvm
{
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);