X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_excp.c;h=f1f94111b29b470935f279712c8c6236e560d25d;hp=ea6cdc56a260baf47bbddca1fd29fba9c3f66188;hb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14;hpb=4db5b116275d135e67c67b0781fc8c184e884001

diff --git a/palacios/src/palacios/vmm_excp.c b/palacios/src/palacios/vmm_excp.c
index ea6cdc5..f1f9411 100644
--- a/palacios/src/palacios/vmm_excp.c
+++ b/palacios/src/palacios/vmm_excp.c
@@ -20,6 +20,7 @@
 #include <palacios/vmm_excp.h>
 #include <palacios/vmm.h>
 #include <palacios/vmm_types.h>
+#include <palacios/vm_guest.h>
 
 void v3_init_exception_state(struct guest_info * info) {
     info->excp_state.excp_pending = 0;
@@ -40,7 +41,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 +58,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;
     }