From: Trammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Date: Wed, 22 Oct 2008 20:31:36 +0000 (-0500)
Subject: Improve panic message if asked to free a bad page
X-Git-Tag: 1.0^2~4^2~1
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios-OLD.git;a=commitdiff_plain;h=f23a8a82a0edfc989e5d6631fcca8ad829e218e4

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
--- 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);