diff --git a/bochs/cpu/decoder/fetchdecode_avx.h b/bochs/cpu/decoder/fetchdecode_avx.h
index 0c3b608d7..90c85a842 100644
--- a/bochs/cpu/decoder/fetchdecode_avx.h
+++ b/bochs/cpu/decoder/fetchdecode_avx.h
@@ -57,11 +57,6 @@ static const BxExtOpcodeInfo_t BxOpcodeInfoAVX_0f38f5[4] = {
   /* F2 */ { BxAliasVexW64, BX_IA_PDEP_GdBdEd }
 };
 
-static const BxExtOpcodeInfo_t BxOpcodeInfoAVX_VexW_0f38f6[2] = {
-  /* 0 */ { BxPrefixSSEF2, BX_IA_MULX_GdBdEd },
-  /* 1 */ { BxPrefixSSEF2, BX_IA_MULX_GqBqEq }
-};
-
 static const BxExtOpcodeInfo_t BxOpcodeInfoAVX_0f38f7[4] = {
   /* -- */ { BxAliasVexW64, BX_IA_BEXTR_GdEdBd },
   /* 66 */ { BxAliasVexW64, BX_IA_SHLX_GdEdBd },