X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm_paging.c;fp=palacios%2Fsrc%2Fgeekos%2Fvmm_paging.c;h=5daea0fa938e6a84bfff6abaea5cca0a99348cc3;hb=3f025fd4e0e535801836faa4259b94b18b94f231;hp=9cd97d6888f397465df4d6ebab1b1386bfb9b751;hpb=ebf600fd1dc3b43e8100be168452c6e03b8a2dda;p=palacios-OLD.git

diff --git a/palacios/src/geekos/vmm_paging.c b/palacios/src/geekos/vmm_paging.c
index 9cd97d6..5daea0f 100644
--- a/palacios/src/geekos/vmm_paging.c
+++ b/palacios/src/geekos/vmm_paging.c
@@ -292,7 +292,7 @@ vmm_pde_t * create_passthrough_pde32_pts(shadow_map_t * map) {
     }
 
     if (pte_present == 0) { 
-      VMMFree(pte);
+      os_hooks->free_page(pte);
 
       pde[i].present = 0;
       pde[i].flags = 0;