X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Fpalacios-glue%2Fvmm_stubs.c;fp=kitten%2Fpalacios-glue%2Fvmm_stubs.c;h=aa5f54a7f4c98164f462318592265cc5fb9d7a15;hb=f23a8a82a0edfc989e5d6631fcca8ad829e218e4;hp=bf41dd91ae57a1a82c798ab379047f69e2bbefcc;hpb=c0c9f2110ba4830893373b9471a4ff4242489f72;p=palacios.git

diff --git a/kitten/palacios-glue/vmm_stubs.c b/kitten/palacios-glue/vmm_stubs.c
index bf41dd9..aa5f54a 100644
--- 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);