X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_decoder.c;h=874e8cf3d824bd949cadb79a492cd7cc3cf2eab2;hb=c1e5fa51e4f5b7055c677e2f9d5bc9808a32b351;hp=ca52e8af4f27ae7dcff89bb225a098a744d03b3e;hpb=25ee48a048fa16a385d909176df04cff80263d32;p=palacios.git

diff --git a/palacios/src/palacios/vmm_decoder.c b/palacios/src/palacios/vmm_decoder.c
index ca52e8a..874e8cf 100644
--- a/palacios/src/palacios/vmm_decoder.c
+++ b/palacios/src/palacios/vmm_decoder.c
@@ -146,6 +146,7 @@ static char * op_type_to_str(v3_op_type_t type) {
 	case V3_OP_STOS: return "V3_OP_STOS"; 
 	case V3_OP_MOVZX: return "V3_OP_MOVZX"; 
 	case V3_OP_MOVSX: return "V3_OP_MOVSX";
+ 	case V3_OP_INT: return "V3_OP_INT";
 	case V3_INVALID_OP: 
 	default:
 	    return "V3_INVALID_OP";
@@ -192,7 +193,7 @@ static const ullong_t mask_8 = 0xffffffffffffffffLL;
 void v3_print_instr(struct x86_instr * instr) {
     V3_Print("Instr: %s (Len: %d)\n", op_type_to_str(instr->op_type), instr->instr_length);
 
-    V3_Print("Prefixes= %x\n", *(uint32_t *)&(instr->prefixes));
+    V3_Print("Prefixes= %x\n", instr->prefixes.val);
 
     if (instr->is_str_op) {
 	V3_Print("String OP (len=%d)\n", (uint32_t)instr->str_op_length);