Major Section: ACL2-BUILT-INS
This function returns two values,
(mv status state). The first is the
status resulting from the most recent invocation of function
see sys-call. The second is the ACL2
state object, which is also the
input to this function.
sys-call makes a system call to the host operating system
using a function supplied ``under the hood'' by the underlying Lisp system.
The status value is the value returned by that Lisp function, which may well
be the numeric value returned by the host operating system for the underlying
system call. For more information, see sys-call.