summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-09-22 01:26:11 -0700
committerOri Bernstein <ori@eigenstate.org>2017-09-22 01:26:11 -0700
commit097d0aa9c3b22ed55d82bf4c0bab716942357ad6 (patch)
treea7dda780846d26fd519134b388cbb3123a408056
parent3a6ce7b6c6f83632d6083ffa37a59c88e49fe737 (diff)
downloadmc-097d0aa9c3b22ed55d82bf4c0bab716942357ad6.tar.gz
Missing an FD.
-rw-r--r--lib/sys/sys+openbsd:6.2-x64.myr2
-rwxr-xr-xsupport/syscall-gen/gensys.sh1
-rw-r--r--support/syscall-gen/specials+openbsd:6.1-x64.frag2
-rw-r--r--support/syscall-gen/specials+openbsd:6.2-x64.frag2
-rw-r--r--support/syscall-gen/types+openbsd:6.1-x64.frag1
5 files changed, 4 insertions, 4 deletions
diff --git a/lib/sys/sys+openbsd:6.2-x64.myr b/lib/sys/sys+openbsd:6.2-x64.myr
index 4fb5bc0..ca0ed6a 100644
--- a/lib/sys/sys+openbsd:6.2-x64.myr
+++ b/lib/sys/sys+openbsd:6.2-x64.myr
@@ -1133,7 +1133,7 @@ pkg sys =
generic ioctl = {fd, req, arg; -> (syscall(Sysioctl, a(fd), a(req), a(arg)) : int64)}
const chdir = {dir; -> syscall(Syschdir, cstring(dir))}
const __getcwd = {buf; -> syscall(Sys__getcwd, a(buf), a(buf.len))}
- const getdents = {fd, buf; -> (syscall(Sysgetdents, a(buf), a(buf.len)) : int64)}
+ const getdents = {fd, buf; -> (syscall(Sysgetdents, a(fd), a(buf), a(buf.len)) : int64)}
/* signals */
const sigaction = {sig, act, oact; -> (syscall(Syssigaction, a(sig), a(act), a(oact)) : int)}
diff --git a/support/syscall-gen/gensys.sh b/support/syscall-gen/gensys.sh
index 7559be9..c703642 100755
--- a/support/syscall-gen/gensys.sh
+++ b/support/syscall-gen/gensys.sh
@@ -38,6 +38,7 @@ hdrgen() {
}
rm -f have.txt want.txt gentypes+$1-$2.frag
+touch have.txt
if [ `uname` = Linux ]; then
hdrgen $1 $2
diff --git a/support/syscall-gen/specials+openbsd:6.1-x64.frag b/support/syscall-gen/specials+openbsd:6.1-x64.frag
index 9a476f5..4cc3843 100644
--- a/support/syscall-gen/specials+openbsd:6.1-x64.frag
+++ b/support/syscall-gen/specials+openbsd:6.1-x64.frag
@@ -154,7 +154,7 @@ const mkdir = {path, mode; -> (syscall(Sysmkdir, cstring(path), a(mode)) : int6
generic ioctl = {fd, req, arg; -> (syscall(Sysioctl, a(fd), a(req), a(arg)) : int64)}
const chdir = {dir; -> syscall(Syschdir, cstring(dir))}
const __getcwd = {buf; -> syscall(Sys__getcwd, a(buf), a(buf.len))}
-const getdents = {fd, buf; -> (syscall(Sysgetdents, a(buf), a(buf.len)) : int64)}
+const getdents = {fd, buf; -> (syscall(Sysgetdents, a(fd), a(buf), a(buf.len)) : int64)}
/* signals */
const sigaction = {sig, act, oact; -> (syscall(Syssigaction, a(sig), a(act), a(oact)) : int)}
diff --git a/support/syscall-gen/specials+openbsd:6.2-x64.frag b/support/syscall-gen/specials+openbsd:6.2-x64.frag
index 9a476f5..4cc3843 100644
--- a/support/syscall-gen/specials+openbsd:6.2-x64.frag
+++ b/support/syscall-gen/specials+openbsd:6.2-x64.frag
@@ -154,7 +154,7 @@ const mkdir = {path, mode; -> (syscall(Sysmkdir, cstring(path), a(mode)) : int6
generic ioctl = {fd, req, arg; -> (syscall(Sysioctl, a(fd), a(req), a(arg)) : int64)}
const chdir = {dir; -> syscall(Syschdir, cstring(dir))}
const __getcwd = {buf; -> syscall(Sys__getcwd, a(buf), a(buf.len))}
-const getdents = {fd, buf; -> (syscall(Sysgetdents, a(buf), a(buf.len)) : int64)}
+const getdents = {fd, buf; -> (syscall(Sysgetdents, a(fd), a(buf), a(buf.len)) : int64)}
/* signals */
const sigaction = {sig, act, oact; -> (syscall(Syssigaction, a(sig), a(act), a(oact)) : int)}
diff --git a/support/syscall-gen/types+openbsd:6.1-x64.frag b/support/syscall-gen/types+openbsd:6.1-x64.frag
index 4585149..48b8f5b 100644
--- a/support/syscall-gen/types+openbsd:6.1-x64.frag
+++ b/support/syscall-gen/types+openbsd:6.1-x64.frag
@@ -47,7 +47,6 @@ type timeval = struct
usec : uint64
;;
-
type pollfd = struct
fd : fd
events : uint16