		Search-engine friendly clone of the ACL2 documentation.

Syscall-numbers

Sys_ftruncate-idx

Signature
(sys_ftruncate-idx x86) → *

Definitions and Theorems

Function: sys_ftruncate-idx

(defun sys_ftruncate-idx (x86)
  (declare (xargs :stobjs (x86)))
  (declare (xargs :guard t))
  (let ((__function__ 'sys_ftruncate-idx))
    (declare (ignorable __function__))
    (if (app-view x86)
        (let ((os (os-info x86)))
          (cond ((equal os :linux) 77)
                ((equal os :darwin) 33554633)
                (t -1)))
      nil)))