From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Thu, 23 Apr 2009 19:27:06 +0000 (-0500)
Subject: added debugging information to help figure out exception bug
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=8b15578bedc18260ff014719003b4f5e1ca5a7af

added debugging information to help figure out exception bug
---

diff --git a/palacios/src/palacios/vmm_excp.c b/palacios/src/palacios/vmm_excp.c
index ea6cdc5..61a1a6f 100644
--- a/palacios/src/palacios/vmm_excp.c
+++ b/palacios/src/palacios/vmm_excp.c
@@ -40,7 +40,8 @@ int v3_raise_exception_with_error(struct guest_info * info, uint_t excp, uint_t
 	excp_state->excp_error_code_valid = 1;
 	//	PrintDebug("[v3_raise_exception_with_error] error code: %x\n", error_code);
     } else {
-	PrintError("exception already pending, currently not implemented\n");
+	PrintError("Error injecting exception_w_error (excp=%d) (error=%d) -- Exception (%d) (error=%d) already pending\n",
+		   excp, error_code, excp_state->excp_num, excp_state->excp_error_code);
 	return -1;
     }
 
@@ -56,7 +57,8 @@ int v3_raise_exception(struct guest_info * info, uint_t excp) {
 	excp_state->excp_error_code = 0;
 	excp_state->excp_error_code_valid = 0;
     } else {
-	PrintError("exception already pending, currently not implemented\n");
+	PrintError("Error injecting exception (excp=%d) -- Exception (%d) (error=%d) already pending\n",
+		   excp, excp_state->excp_num, excp_state->excp_error_code);
 	return -1;
     }