(evex-byte1-equiv-under-mask byte1 byte11 mask) → *
Function:
(defun evex-byte1-equiv-under-mask$inline (byte1 byte11 mask) (declare (xargs :guard (and (evex-byte1-p byte1) (evex-byte1-p byte11) (integerp mask)))) (fty::int-equiv-under-mask (evex-byte1-fix byte1) (evex-byte1-fix byte11) mask))