X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_xed.c;h=e35b4b09126d45fb7d99a5348bd8c34c5a47785a;hb=b1128b2a9d269fefc786c60c26878b372d5e39c1;hp=9c0fc339af7f4e0b46157ed15cca88fbef264b04;hpb=840d15c3a300636e758fcfcf403ae415ffa67816;p=palacios-OLD.git diff --git a/palacios/src/palacios/vmm_xed.c b/palacios/src/palacios/vmm_xed.c index 9c0fc33..e35b4b0 100644 --- a/palacios/src/palacios/vmm_xed.c +++ b/palacios/src/palacios/vmm_xed.c @@ -1283,7 +1283,6 @@ static v3_op_type_t get_opcode(xed_iform_enum_t iform) { case XED_IFORM_INVLPG_MEMb: return V3_OP_INVLPG; - // KCH case XED_IFORM_INT_IMM: return V3_OP_INT;