(code-segment-descriptorbits-equiv-under-mask x x1 mask) → *
Function:
(defun code-segment-descriptorbits-equiv-under-mask (x x1 mask) (declare (xargs :guard (and (code-segment-descriptorbits-p x) (code-segment-descriptorbits-p x1) (integerp mask)))) (let ((__function__ 'code-segment-descriptorbits-equiv-under-mask)) (declare (ignorable __function__)) (fty::int-equiv-under-mask (code-segment-descriptorbits-fix x) (code-segment-descriptorbits-fix x1) mask)))