X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_v3dec.c;h=b862f96c49ed7e0cabe9fc509592d25fa98d9136;hb=da9b43b18c14357412422fc404d3a9c573c867d5;hp=2de8b004c21fc803608337732ebd8a135fcee020;hpb=fcc9a89dc9add8ba19c30bec32b3a6d70904b381;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_v3dec.c b/palacios/src/palacios/vmm_v3dec.c
index 2de8b00..b862f96 100644
--- a/palacios/src/palacios/vmm_v3dec.c
+++ b/palacios/src/palacios/vmm_v3dec.c
@@ -501,12 +501,14 @@ static v3_op_type_t op_form_to_type(op_form_t form) {
 	case INVLPG:
 	    return V3_OP_INVLPG;
 
+        case INT:
+	    return V3_OP_INT;
+	    
 	case MOV_CR2:
 	    return V3_OP_MOVCR2;
 	case MOV_2CR:
 	    return V3_OP_MOV2CR;
 
-
 	case MOV_MEM2_8:
 	case MOV_MEM2:
 	case MOV_2MEM_8: