X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fmmu%2Fvmm_shdw_pg_kvm.c;h=250cbbad90a75834ab41c446c488efb630409e41;hb=b283373f3067fe329fb6c526f62d72cec27f4149;hp=decf6b91b53e2b1b1b9e6236c2e0ff1246395801;hpb=5739471716b3f008f1b47a2826c7b8bc54ad6b62;p=palacios.git

diff --git a/palacios/src/palacios/mmu/vmm_shdw_pg_kvm.c b/palacios/src/palacios/mmu/vmm_shdw_pg_kvm.c
index decf6b9..250cbba 100644
--- a/palacios/src/palacios/mmu/vmm_shdw_pg_kvm.c
+++ b/palacios/src/palacios/mmu/vmm_shdw_pg_kvm.c
@@ -116,7 +116,7 @@ static void shadow_free_page (struct guest_info * core, struct shadow_page_cache
 {
     list_del(&page->link);
 
-    V3_FreePage((void *)page->page_pa);
+    V3_FreePages((void *)page->page_pa, 1);
     page->page_pa=(addr_t)V3_AllocPages(1);
 	
     list_add(&page->link,&core->free_pages);
@@ -163,7 +163,7 @@ static void free_shadow_pages(struct guest_info * core)
     while (!list_empty(&core->free_pages)) {
 	page = list_entry(core->free_pages.next, struct shadow_page_cache_data, link);
 	list_del(&page->link);
-	V3_FreePage((void *)page->page_pa);
+	V3_FreePages((void *)page->page_pa, 1);
 	page->page_pa = ~(addr_t)0; //invalid address
     }
 }