1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<html>
<head><title>SYS-CALL-STATUS.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>SYS-CALL-STATUS</h2>exit status from the preceding system call
<pre>Major Section: <a href="PROGRAMMING.html">PROGRAMMING</a>
</pre><p>
This function returns two values, <code>(mv status state)</code>. The first is
the status returned by the most recent invocation of function
<code>sys-call</code>; see <a href="SYS-CALL.html">sys-call</a>. The second is the ACL2 <code><a href="STATE.html">state</a></code> object,
which is also the input to this function.
<p>
The function <code><a href="SYS-CALL.html">sys-call</a></code> 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 same numeric value
returned by the host operating system for the underlying system
call. For more information, see <a href="SYS-CALL.html">sys-call</a>.
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
