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