((/models/y86/y86-two-level-abs/common/x86-memory-low.lisp::mem$ci (nil nil nil (let*) nil nil nil) (nil nil ((i-top (ash i (- *2^x-byte-pseudo-page*)))) (cond) nil nil nil) (nil nil (addr (eql addr 1) t) nil nil nil nil) ((*default-mem-value*) nil nil (mem-tablei let) nil nil nil) ((i-top x86-32$c (index (logior addr (logand 16777215 i)))) nil nil (mem-arrayi) nil nil nil) ((index x86-32$c) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/y86/y86-two-level-abs/common/x86-memory-low.lisp::add-page-x86-32$c (nil nil nil (let*) nil nil nil) (nil nil nil (mv) nil ((addr (mem-array-next-addr x86-32$c))) nil) ((addr x86-32$c) nil (len x86-32$c x86-32$c x86-32$c) nil nil nil nil) (nil nil (mem-array-length) (cond !mem-array-next-addr) (!mem-tablei) nil nil) ((x86-32$c x86-32$c i addr x86-32$c) nil ((eql addr len) t) (+) nil nil nil) ((x86-32$c addr *pseudo-page-size-in-bytes*) nil nil (resize-mem-array) nil nil nil) ((x86-32$c) nil nil (min) nil nil nil)) (/models/y86/y86-two-level-abs/common/x86-memory-low.lisp::all-< (nil nil nil nil (cond) nil nil) (nil nil ((endp lst) (< (car lst) x) t) nil nil nil nil) ((t nil) nil nil (recursive-call) nil nil nil) ((x) nil (cdr) nil nil nil nil) ((lst) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/models/y86/y86-two-level-abs/common/x86-memory-low.lisp::nth-resize-list-induction (nil nil nil nil (if) nil nil) ((nil) nil (posp) nil nil (recursive-call) nil) ((n default-value) nil (1- 1-) nil (if) nil nil) ((i lst n) nil (atom cdr) nil nil nil nil) ((lst lst) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))