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