diff options
Diffstat (limited to 'drivers')
| -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 c55ce7d1509..b9ba240144b 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); |