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

diff --git a/palacios/src/palacios/vmm_v3dec.c b/palacios/src/palacios/vmm_v3dec.c
index f10bed9..2de8b00 100644
--- a/palacios/src/palacios/vmm_v3dec.c
+++ b/palacios/src/palacios/vmm_v3dec.c
@@ -506,10 +506,6 @@ static v3_op_type_t op_form_to_type(op_form_t form) {
 	case MOV_2CR:
 	    return V3_OP_MOV2CR;
 
-    // KCH: for syscall interposition
-    case INT:
-        return V3_OP_INT;
-
 
 	case MOV_MEM2_8:
 	case MOV_MEM2: