From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Mon, 9 Mar 2009 20:07:31 +0000 (-0500)
Subject: added debugging output
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=0f01f102e9ec2aeed9fc74095aaa00deb32b52c8;p=palacios.git

added debugging output
---

diff --git a/palacios/src/palacios/vmm_xed.c b/palacios/src/palacios/vmm_xed.c
index 749e3bf..2118a93 100644
--- a/palacios/src/palacios/vmm_xed.c
+++ b/palacios/src/palacios/vmm_xed.c
@@ -361,7 +361,7 @@ int v3_decode(struct guest_info * info, addr_t instr_ptr, struct x86_instr * ins
 	if ((!xed_operand_is_register(op_enum)) ||
 	    (!is_flags_reg(xed_decoded_inst_get_reg(&xed_instr, op_enum)))) {
 	    // special case
-	    PrintError("Special Case not handled\n");
+	    PrintError("Special Case not handled (iform=%s)\n", xed_iform_enum_t2str(iform));
 	    return -1;
 	}
     }