X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_decoder.c;h=1783ca18fdccaa8e68e3d5b80a718be90394672b;hb=3db6f4c76bd6412d0154b7693c1516d792486b13;hp=a2f260c686069463f3f621f7c97ef2254988ac2a;hpb=5614cff13837121053e831419f569b4e6e32bcd9;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_decoder.c b/palacios/src/palacios/vmm_decoder.c
index a2f260c..1783ca1 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"; // KCH
 	case V3_INVALID_OP: 
 	default:
 	    return "V3_INVALID_OP";