From d5fb481181143fdb4754377c9d0f28a0997df6a5 Mon Sep 17 00:00:00 2001 From: Avi Kivity Date: Fri, 5 Jan 2007 16:36:49 -0800 Subject: [PATCH] --- yaml --- r: 45275 b: refs/heads/master c: 5f1e0b6abcc100a79528387207adc3dd92aa5374 h: refs/heads/master i: 45273: 352e4890f2ecc137e3b32ac426ba79ebb5335423 45271: f16267656d07f0debaa7a7692a85b3e8424324c1 v: v3 --- [refs] | 2 +- trunk/drivers/kvm/mmu.c | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/[refs] b/[refs] index fffce864bc3a..9060d462f5d4 100644 --- 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 index c55ce7d1509e..b9ba240144b7 100644 --- 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);