diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-18 19:45:47 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-18 19:45:47 +0200 |
| commit | 920b18be87d248413f549d978d7dd68495a6ea7c (patch) | |
| tree | e3b2857839df49df2efaf4337bfda737113cd2af /sys/linux/sys.txt | |
| parent | 2dcee3b338d368c6d4f10e0e29c95cbc3ea4e9df (diff) | |
sys: mark output resources as opt
Mark output resources as opt in preparation for more
precise constructor calculation.
Diffstat (limited to 'sys/linux/sys.txt')
| -rw-r--r-- | sys/linux/sys.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/sys.txt b/sys/linux/sys.txt index 92292a538..1c3b21087 100644 --- a/sys/linux/sys.txt +++ b/sys/linux/sys.txt @@ -64,7 +64,7 @@ open(file ptr[in, filename], flags flags[open_flags], mode flags[open_mode]) fd # Just so that we have something that creates fd_dir resources. open$dir(file ptr[in, filename], flags flags[open_flags], mode flags[open_mode]) fd_dir openat$dir(fd const[AT_FDCWD], file ptr[in, filename], flags flags[open_flags], mode flags[open_mode]) fd_dir -openat(fd fd_dir, file ptr[in, filename], flags flags[open_flags], mode flags[open_mode]) fd +openat(fd fd_dir[opt], file ptr[in, filename], flags flags[open_flags], mode flags[open_mode]) fd creat(file ptr[in, filename], mode flags[open_mode]) fd close(fd fd) read(fd fd, buf buffer[out], count len[buf]) |