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