more debugging output...

diff --git a/palacios/src/palacios/vmm_xed.c b/palacios/src/palacios/vmm_xed.c
index 2118a93..c82f107 100644 (file)
--- a/palacios/src/palacios/vmm_xed.c
+++ b/palacios/src/palacios/vmm_xed.c
@@ -347,11 +347,10 @@ int v3_decode(struct guest_info * info, addr_t instr_ptr, struct x86_instr * ins
        instr->str_op_length = 0;
     }
 
-
     instr->num_operands = xed_decoded_inst_noperands(&xed_instr);
 
     if (instr->num_operands > 3) {
-       PrintDebug("Special Case Not Handled\n");
+       PrintDebug("Special Case Not Handled (more than 3 operands) (iform=%s)\n", xed_iform_enum_t2str(iform)
        return -1;
        // special case
     } else if (instr->num_operands == 3) {
@@ -366,8 +365,6 @@ int v3_decode(struct guest_info * info, addr_t instr_ptr, struct x86_instr * ins
        }
     }
 
-
-
     //PrintDebug("Number of operands: %d\n", instr->num_operands);
     //PrintDebug("INSTR length: %d\n", instr->instr_length);