		Search-engine friendly clone of the ACL2 documentation.

Syscalls-logic

Syscall-dup3

Signature
(syscall-dup3 oldfd newfd flags x86) → (mv * x86)

Definitions and Theorems

Function: syscall-dup3$notinline

(defun syscall-dup3$notinline (oldfd newfd flags x86)
  (declare (xargs :stobjs (x86)))
  (declare (ignorable oldfd newfd flags x86))
  (declare (xargs :guard t))
  (let ((__function__ 'syscall-dup3))
    (declare (ignorable __function__))
    (syscall-dup3-logic oldfd newfd flags x86)))