		Search-engine friendly clone of the ACL2 documentation.

Elf-reader

Elf64_sym-debug

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

Definitions and Theorems

Function: elf64_sym-debug

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