From: Jack Lange <jacklange@cs.pitt.edu>
Date: Tue, 12 Apr 2011 00:03:01 +0000 (-0500)
Subject: added debugging for operand mode
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=68f6cb6a46273148900ef5c67a6bd2c5d3b7757e;p=palacios.git

added debugging for operand mode
---

diff --git a/palacios/src/palacios/vmm_xed.c b/palacios/src/palacios/vmm_xed.c
index 36612ba..4b52148 100644
--- a/palacios/src/palacios/vmm_xed.c
+++ b/palacios/src/palacios/vmm_xed.c
@@ -402,6 +402,9 @@ int v3_decode(struct guest_info * info, addr_t instr_ptr, struct x86_instr * ins
 
 	v3_op = &(instr->dst_operand);
 
+	V3_Print("Operand 0 mode: %s\n", xed_operand_action_enum_t2str(op->_rw));
+
+
 	if ((op->_rw == XED_OPERAND_ACTION_RW) || 
 	    (op->_rw == XED_OPERAND_ACTION_R)|| 
 	    (op->_rw == XED_OPERAND_ACTION_RCW)) {
@@ -480,6 +483,8 @@ int v3_decode(struct guest_info * info, addr_t instr_ptr, struct x86_instr * ins
 	*/
 	v3_op = &(instr->src_operand);
 
+	V3_Print("Operand 1 mode: %s\n", xed_operand_action_enum_t2str(op->_rw));
+
 	if ((op->_rw == XED_OPERAND_ACTION_RW) || 
 	    (op->_rw == XED_OPERAND_ACTION_R)|| 
 	    (op->_rw == XED_OPERAND_ACTION_RCW)) {
@@ -558,6 +563,9 @@ int v3_decode(struct guest_info * info, addr_t instr_ptr, struct x86_instr * ins
 	xed_operand_type_enum_t op_type = xed_operand_type(op);
 	xed_operand_enum_t op_enum = xed_operand_name(op);
 
+	V3_Print("Operand 3 mode: %s\n", xed_operand_action_enum_t2str(op->_rw));
+
+
 	if ((op->_rw == XED_OPERAND_ACTION_RW) || 
 	    (op->_rw == XED_OPERAND_ACTION_R)|| 
 	    (op->_rw == XED_OPERAND_ACTION_RCW)) {