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