---

yaml --- r: 45275 b: refs/heads/master c: 5f1e0b6 h: refs/heads/master i: 45273: 352e489 45271: f162676 v: v3
git-mirror · Jan 6, 2007 · d5fb481 · d5fb481
1 parent fa569a6
commit d5fb481
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 260746c03dcb2e5089f95b60cb786aaf405ced63
+refs/heads/master: 5f1e0b6abcc100a79528387207adc3dd92aa5374
diff --git a/trunk/drivers/kvm/mmu.c b/trunk/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);