dist/opcodes/i386-dis.c

134   intel64
8704   fprintf (stream, _("  intel64     Display instruction in Intel64 ISA\n"));
9395       else if (startswith (p, "intel64"))
9396 	ins.isa64 = intel64;
10650 	      && (ins->isa64 == intel64 || (ins->rex & REX_W)
10965 	  if (ins->isa64 == intel64 && (ins->rex & REX_W))
11183       if (ins->address_mode == mode_64bit && ins->isa64 == intel64)
11229       if (!(sizeflag & DFLAG) && ins->isa64 == intel64)
11456       if (ins->address_mode == mode_64bit && ins->isa64 == intel64)
11489       if (!(sizeflag & DFLAG) && ins->isa64 == intel64)
12457 	      && ((ins->isa64 == intel64 && bytemode != dqw_mode)
12477 	  || (ins->isa64 != intel64 && !(ins->rex & REX_W)))