		Search-engine friendly clone of the ACL2 documentation.

Cpuid

Feature-flags

Signature
(feature-flags features) → *
Arguments: features — Guard (true-listp features).

Definitions and Theorems

Function: feature-flags

(defun feature-flags (features)
 (declare (xargs :guard (true-listp features)))
 (declare
  (xargs :guard (subsetp-equal features *supported-feature-flags*)))
 (let ((__function__ 'feature-flags))
   (declare (ignorable __function__))
   (cond ((atom features) 1)
         ((eql (feature-flag (first features)) 0)
          0)
         (t (feature-flags (rest features))))))