Improve panic message if asked to free a bad page

diff --git a/kitten/palacios-glue/vmm_stubs.c b/kitten/palacios-glue/vmm_stubs.c
index bf41dd9..aa5f54a 100644 (file)
--- a/kitten/palacios-glue/vmm_stubs.c
+++ b/kitten/palacios-glue/vmm_stubs.c
@@ -84,8 +84,14 @@ Free_VMM_Page(
 
        int rc = pmem_query(&query,&result);
 
-       if (rc)
-               panic( "BAD" );
+       if( rc )
+       {
+               panic( "Asked to free non-allocated page %p! rc=%d",
+                       page,
+                       rc
+               );
+               return;
+       }
 
        result.allocated = 0;
        pmem_update(&result);