X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_decoder.c;h=874e8cf3d824bd949cadb79a492cd7cc3cf2eab2;hb=457220e0485aefc6efecbc81ab1343b9cb65d8ba;hp=a2f260c686069463f3f621f7c97ef2254988ac2a;hpb=382829fe58cb541af371547325c5502e37032ecd;p=palacios.git

diff --git a/palacios/src/palacios/vmm_decoder.c b/palacios/src/palacios/vmm_decoder.c
index a2f260c..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";