aboutsummaryrefslogtreecommitdiffstats
path: root/sys
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2017-02-03 23:11:03 +0100
committerDmitry Vyukov <dvyukov@google.com>2017-02-03 23:55:06 +0100
commite9dc5a53e9a925fc2809f8ce05db7866007a6919 (patch)
tree9a9af8e589481ae36411e8142ceb208c6b920852 /sys
parentdf41f801779de51a99f8836e65af46626a04136e (diff)
sys: minor assorted improvements to descriptions
Diffstat (limited to 'sys')
-rw-r--r--sys/decl_test.go6
-rw-r--r--sys/sys.txt21
-rw-r--r--sys/sys_amd64.const12
-rw-r--r--sys/sys_arm64.const12
-rw-r--r--sys/sys_ppc64le.const12
5 files changed, 52 insertions, 11 deletions
diff --git a/sys/decl_test.go b/sys/decl_test.go
index 7c64f28fe..c41a95e43 100644
--- a/sys/decl_test.go
+++ b/sys/decl_test.go
@@ -26,8 +26,10 @@ func TestTransitivelyEnabledCalls(t *testing.T) {
}
delete(calls, CallMap["epoll_create1"])
trans := TransitivelyEnabledCalls(calls)
- if len(calls)-3 != len(trans) ||
- trans[CallMap["epoll_ctl"]] ||
+ if len(calls)-5 != len(trans) ||
+ trans[CallMap["epoll_ctl$EPOLL_CTL_ADD"]] ||
+ trans[CallMap["epoll_ctl$EPOLL_CTL_MOD"]] ||
+ trans[CallMap["epoll_ctl$EPOLL_CTL_DEL"]] ||
trans[CallMap["epoll_wait"]] ||
trans[CallMap["epoll_pwait"]] {
t.Fatalf("epoll fd is not disabled")
diff --git a/sys/sys.txt b/sys/sys.txt
index b4e6bdf58..4232c622f 100644
--- a/sys/sys.txt
+++ b/sys/sys.txt
@@ -108,7 +108,9 @@ pselect6(n len[inp], inp ptr[inout, fd_set], outp ptr[inout, fd_set], exp ptr[in
resource fd_epoll[fd]
epoll_create(size int32) fd_epoll
epoll_create1(flags flags[epoll_flags]) fd_epoll
-epoll_ctl(epfd fd_epoll, op flags[epoll_op], fd fd, ev ptr[in, epoll_event])
+epoll_ctl$EPOLL_CTL_ADD(epfd fd_epoll, op const[EPOLL_CTL_ADD], fd fd, ev ptr[in, epoll_event])
+epoll_ctl$EPOLL_CTL_MOD(epfd fd_epoll, op const[EPOLL_CTL_MOD], fd fd, ev ptr[in, epoll_event])
+epoll_ctl$EPOLL_CTL_DEL(epfd fd_epoll, op const[EPOLL_CTL_DEL], fd fd)
epoll_wait(epfd fd_epoll, events ptr[out, array[epoll_event]], maxevents len[events], timeout int32)
epoll_pwait(epfd fd_epoll, events ptr[out, array[epoll_event]], maxevents len[events], timeout int32, sigmask ptr[in, sigset], size len[sigmask])
@@ -545,8 +547,8 @@ stat {
pollfd {
fd fd
- events int16
- revents int16
+ events flags[pollfd_events, int16]
+ revents const[0, int16]
}
sigset {
@@ -593,7 +595,7 @@ io_event {
}
iocb {
- data int64
+ data const[0, int64]
key flags[iocb_key, int32]
pad const[0, int32]
op flags[lio_opcode, int16]
@@ -643,8 +645,8 @@ cap_data {
epoll_event {
ev flags[epoll_ev, int32]
- data int64
-}
+ data const[0, int64]
+} [packed]
# fd_set needs to be a separate type
fd_set {
@@ -985,7 +987,7 @@ fiemap_extent {
}
uffdio_api {
- api const[170, int64]
+ api const[UFFD_API, int64]
featur const[0, int64]
ioctls const[0, int64]
}
@@ -1046,7 +1048,7 @@ timerfd_create_flags = TFD_NONBLOCK, TFD_CLOEXEC
timerfd_settime_flags = TFD_TIMER_ABSTIME
clock_type = CLOCK_REALTIME, CLOCK_REALTIME_COARSE, CLOCK_MONOTONIC, CLOCK_MONOTONIC_COARSE, CLOCK_MONOTONIC_RAW, CLOCK_BOOTTIME, CLOCK_PROCESS_CPUTIME_ID, CLOCK_THREAD_CPUTIME_ID
lio_opcode = IOCB_CMD_PREAD, IOCB_CMD_PWRITE, IOCB_CMD_FSYNC, IOCB_CMD_FDSYNC, IOCB_CMD_NOOP, IOCB_CMD_PREADV, IOCB_CMD_PWRITEV
-iocb_flags = IOCB_FLAG_RESFD
+iocb_flags = 0, IOCB_FLAG_RESFD
iocb_key = 0
sigev_notify = SIGEV_NONE, SIGEV_SIGNAL, SIGEV_THREAD, SIGEV_THREAD_ID
cap_version = 0x19980330, 0x20071026, 0x20080522
@@ -1060,7 +1062,8 @@ prctl_mm_option = PR_SET_MM_START_CODE, PR_SET_MM_END_CODE, PR_SET_MM_START_DATA
arch_prctl_code = ARCH_SET_FS, ARCH_GET_FS, ARCH_SET_GS, ARCH_GET_GS
epoll_flags = EPOLL_CLOEXEC
epoll_op = EPOLL_CTL_ADD, EPOLL_CTL_MOD, EPOLL_CTL_DEL
-epoll_ev = POLLIN, POLLOUT, POLLRDHUP, POLLPRI, POLLERR, POLLHUP, EPOLLET, EPOLLONESHOT
+epoll_ev = POLLIN, POLLOUT, POLLRDHUP, POLLPRI, POLLERR, POLLHUP, EPOLLET, EPOLLONESHOT, EPOLLEXCLUSIVE, EPOLLWAKEUP
+pollfd_events = POLLIN, POLLPRI, POLLOUT, POLLERR, POLLHUP, POLLNVAL, POLLRDNORM, POLLRDBAND, POLLWRNORM, POLLWRBAND, POLLMSG, POLLREMOVE, POLLRDHUP, POLLFREE, POLL_BUSY_LOOP
mknod_mode = S_IFREG, S_IFCHR, S_IFBLK, S_IFIFO, S_IFSOCK, S_IRUSR, S_IWUSR, S_IXUSR, S_IRGRP, S_IWGRP, S_IXGRP, S_IROTH, S_IWOTH, S_IXOTH
fchownat_flags = AT_EMPTY_PATH, AT_SYMLINK_NOFOLLOW
fallocate_mode = 0, FALLOC_FL_KEEP_SIZE, FALLOC_FL_PUNCH_HOLE
diff --git a/sys/sys_amd64.const b/sys/sys_amd64.const
index 84fad89ed..1edcb40b7 100644
--- a/sys/sys_amd64.const
+++ b/sys/sys_amd64.const
@@ -52,7 +52,9 @@ EFD_CLOEXEC = 524288
EFD_NONBLOCK = 2048
EFD_SEMAPHORE = 1
EPOLLET = 18446744071562067968
+EPOLLEXCLUSIVE = 268435456
EPOLLONESHOT = 1073741824
+EPOLLWAKEUP = 536870912
EPOLL_CLOEXEC = 524288
EPOLL_CTL_ADD = 1
EPOLL_CTL_DEL = 2
@@ -323,11 +325,20 @@ PER_XENIX = 83886087
PKEY_DISABLE_ACCESS = 1
PKEY_DISABLE_WRITE = 2
POLLERR = 8
+POLLFREE = 16384
POLLHUP = 16
POLLIN = 1
+POLLMSG = 1024
+POLLNVAL = 32
POLLOUT = 4
POLLPRI = 2
+POLLRDBAND = 128
POLLRDHUP = 8192
+POLLRDNORM = 64
+POLLREMOVE = 4096
+POLLWRBAND = 512
+POLLWRNORM = 256
+POLL_BUSY_LOOP = 32768
POSIX_FADV_DONTNEED = 4
POSIX_FADV_NOREUSE = 5
POSIX_FADV_NORMAL = 0
@@ -543,6 +554,7 @@ UFFDIO_REGISTER_MODE_WP = 2
UFFDIO_UNREGISTER = 2148575745
UFFDIO_WAKE = 2148575746
UFFDIO_ZEROPAGE_MODE_DONTWAKE = 1
+UFFD_API = 170
UMOUNT_NOFOLLOW = 8
WCONTINUED = 8
WEXITED = 4
diff --git a/sys/sys_arm64.const b/sys/sys_arm64.const
index bbbcf8f4f..592671f1b 100644
--- a/sys/sys_arm64.const
+++ b/sys/sys_arm64.const
@@ -52,7 +52,9 @@ EFD_CLOEXEC = 524288
EFD_NONBLOCK = 2048
EFD_SEMAPHORE = 1
EPOLLET = 18446744071562067968
+EPOLLEXCLUSIVE = 268435456
EPOLLONESHOT = 1073741824
+EPOLLWAKEUP = 536870912
EPOLL_CLOEXEC = 524288
EPOLL_CTL_ADD = 1
EPOLL_CTL_DEL = 2
@@ -322,11 +324,20 @@ PER_XENIX = 83886087
PKEY_DISABLE_ACCESS = 1
PKEY_DISABLE_WRITE = 2
POLLERR = 8
+POLLFREE = 16384
POLLHUP = 16
POLLIN = 1
+POLLMSG = 1024
+POLLNVAL = 32
POLLOUT = 4
POLLPRI = 2
+POLLRDBAND = 128
POLLRDHUP = 8192
+POLLRDNORM = 64
+POLLREMOVE = 4096
+POLLWRBAND = 512
+POLLWRNORM = 256
+POLL_BUSY_LOOP = 32768
POSIX_FADV_DONTNEED = 4
POSIX_FADV_NOREUSE = 5
POSIX_FADV_NORMAL = 0
@@ -536,6 +547,7 @@ UFFDIO_REGISTER_MODE_WP = 2
UFFDIO_UNREGISTER = 2148575745
UFFDIO_WAKE = 2148575746
UFFDIO_ZEROPAGE_MODE_DONTWAKE = 1
+UFFD_API = 170
UMOUNT_NOFOLLOW = 8
WCONTINUED = 8
WEXITED = 4
diff --git a/sys/sys_ppc64le.const b/sys/sys_ppc64le.const
index 024866959..1fd07144c 100644
--- a/sys/sys_ppc64le.const
+++ b/sys/sys_ppc64le.const
@@ -52,7 +52,9 @@ EFD_CLOEXEC = 524288
EFD_NONBLOCK = 2048
EFD_SEMAPHORE = 1
EPOLLET = 18446744071562067968
+EPOLLEXCLUSIVE = 268435456
EPOLLONESHOT = 1073741824
+EPOLLWAKEUP = 536870912
EPOLL_CLOEXEC = 524288
EPOLL_CTL_ADD = 1
EPOLL_CTL_DEL = 2
@@ -322,11 +324,20 @@ PER_XENIX = 83886087
PKEY_DISABLE_ACCESS = 1
PKEY_DISABLE_WRITE = 2
POLLERR = 8
+POLLFREE = 16384
POLLHUP = 16
POLLIN = 1
+POLLMSG = 1024
+POLLNVAL = 32
POLLOUT = 4
POLLPRI = 2
+POLLRDBAND = 128
POLLRDHUP = 8192
+POLLRDNORM = 64
+POLLREMOVE = 4096
+POLLWRBAND = 512
+POLLWRNORM = 256
+POLL_BUSY_LOOP = 32768
POSIX_FADV_DONTNEED = 4
POSIX_FADV_NOREUSE = 5
POSIX_FADV_NORMAL = 0
@@ -540,6 +551,7 @@ UFFDIO_REGISTER_MODE_WP = 2
UFFDIO_UNREGISTER = 1074833921
UFFDIO_WAKE = 1074833922
UFFDIO_ZEROPAGE_MODE_DONTWAKE = 1
+UFFD_API = 170
UMOUNT_NOFOLLOW = 8
WCONTINUED = 8
WEXITED = 4