X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fpalacios-stubs.c;h=965d5780222d50ccbf422e72a7e5c5410aae9064;hb=928297a7cf5ffbf3a210fcaf7556e681bbb436d5;hp=694a21208c34dbfb8bf373e647b92c1270f21e56;hpb=0b2115047303e779be8578e9802cfa55d1767c7b;p=palacios.git

diff --git a/linux_module/palacios-stubs.c b/linux_module/palacios-stubs.c
index 694a212..965d578 100644
--- a/linux_module/palacios-stubs.c
+++ b/linux_module/palacios-stubs.c
@@ -211,6 +211,7 @@ void palacios_free_pages(void * page_paddr, int num_pages) {
     if (!page_paddr) { 
 	ERROR("Ignoring free pages: 0x%p (0x%lx)for %d pages\n", page_paddr, (uintptr_t)page_paddr, num_pages);
 	dump_stack();
+	return;
     }
     pg_frees += num_pages;
     free_palacios_pgs((uintptr_t)page_paddr, num_pages);
@@ -283,6 +284,11 @@ palacios_valloc(unsigned int size)
 
 void palacios_vfree(void *p)
 {
+  if (!p) { 
+      ERROR("Ignoring vfree: 0x%p\n",p);
+      dump_stack();
+      return;
+  }
   vfree(p);
   vfrees++;
   MEMCHECK_VFREE(p);
@@ -318,6 +324,7 @@ palacios_free(
     if (!addr) {
 	ERROR("Ignoring free : 0x%p\n", addr);
 	dump_stack();
+	return;
     }
     frees++;
     kfree(addr-ALLOC_PAD);