X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_xed.c;h=e35b4b09126d45fb7d99a5348bd8c34c5a47785a;hb=1730c6edaa4ca2a0e1dfc6d0ec45c15970ed1bff;hp=9c0fc339af7f4e0b46157ed15cca88fbef264b04;hpb=840d15c3a300636e758fcfcf403ae415ffa67816;p=palacios.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;