Init-mem-region
- Signature
(init-mem-region n val mem) → mem
- Arguments
- mem — Guard (memp mem).
Definitions and Theorems
Function: init-mem-region
(defun init-mem-region (n val mem)
(declare (xargs :stobjs (mem)))
(declare (type (unsigned-byte 50) n)
(type (unsigned-byte 8) val))
(declare (xargs :guard (memp mem)))
(let ((__function__ 'init-mem-region))
(declare (ignorable __function__))
(if (zp n)
mem
(b* ((val (the (unsigned-byte 8)
(if (< val 254) (1+ val) 0)))
(mem (write-mem n val mem)))
(init-mem-region (the (unsigned-byte 50) (1- n))
val mem)))))
