		Search-engine friendly clone of the ACL2 documentation.

Physical-memory

Physical-address-listp

Recognizer of a list of physical addresses

Signature
(physical-address-listp lst) → *

Definitions and Theorems

Function: physical-address-listp

(defun physical-address-listp (lst)
  (declare (xargs :guard t))
  (let ((__function__ 'physical-address-listp))
    (declare (ignorable __function__))
    (if (equal lst nil)
        t
      (and (consp lst)
           (physical-address-p (car lst))
           (physical-address-listp (cdr lst))))))