		Search-engine friendly clone of the ACL2 documentation.

Elf-reader

Elf32_sym-debug

Signature
(elf32_sym-debug x) → *
Arguments: x — Guard (elf32_sym-p x).

Definitions and Theorems

Function: elf32_sym-debug

(defun elf32_sym-debug (x)
 (declare (xargs :guard (elf32_sym-p x)))
 (let ((__function__ 'elf32_sym-debug))
  (declare (ignorable __function__))
  (b* (((elf32_sym x)))
   (cons
    (cons 'name x.name)
    (cons (cons 'value x.value)
          (cons (cons 'size x.size)
                (cons (cons 'info x.info)
                      (cons (cons 'other x.other)
                            (cons (cons 'shndx x.shndx) nil)))))))))