		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))))))