/* X86_64_EVEX_0F384A */
  {
    { Bad_Opcode },
    { VEX_W_TABLE (EVEX_W_0F384A_X86_64) },
  },
  /* X86_64_EVEX_0F386D */
  {
    { Bad_Opcode },
    { VEX_W_TABLE (EVEX_W_0F386D_X86_64) },
  },
  /* X86_64_EVEX_0F3A07 */
  {
    { Bad_Opcode },
    { VEX_W_TABLE (EVEX_W_0F3A07_X86_64) },
  },
  /* X86_64_EVEX_0F3A77 */
  {
    { Bad_Opcode },
    { VEX_W_TABLE (EVEX_W_0F3A77_X86_64) },
  },
  /* X86_64_EVEX_MAP5_6F */
  {
    { Bad_Opcode },
    { PREFIX_TABLE (PREFIX_EVEX_MAP5_6F_X86_64) },
  },