Lines Matching full:evex
460 dbgprintf(insn, "Couldn't read second byte of EVEX prefix");
465 dbgprintf(insn, "Couldn't read third byte of EVEX prefix");
482 dbgprintf(insn, "Couldn't read third byte of EVEX prefix");
486 dbgprintf(insn, "Couldn't read fourth byte of EVEX prefix");
499 dbgprintf(insn, "Found EVEX prefix 0x%hhx 0x%hhx 0x%hhx 0x%hhx",
1407 // the extension bits (REX.b and EVEX.x) are ignored.
