		Search-engine friendly clone of the ACL2 documentation.

Setting-up-page-tables

Physical-addr-qword-alist-listp

Recognizer for a list of physical-addr-qword-alistp

Signature
(physical-addr-qword-alist-listp list) → *

Definitions and Theorems

Function: physical-addr-qword-alist-listp

(defun
     physical-addr-qword-alist-listp (list)
     (declare (xargs :guard t))
     (let ((__function__ 'physical-addr-qword-alist-listp))
          (declare (ignorable __function__))
          (if (atom list)
              (equal list nil)
              (and (physical-addr-qword-alistp (car list))
                   (physical-addr-qword-alist-listp (cdr list))))))