diff options
| author | tigergao99 <tigergao1999@outlook.com> | 2020-12-01 14:55:19 -0500 |
|---|---|---|
| committer | Mark Johnston <markjdb@gmail.com> | 2020-12-09 09:54:45 -0500 |
| commit | f2db8fbaadda346c5a1d2cec6e65db61ffb13e20 (patch) | |
| tree | 6e42a37d729d23d5b73f2130b84d2fd63647dd13 | |
| parent | a2fc9409473c2764c5b671be937db9b7b3f9c9b6 (diff) | |
sys/freebsd: add ksem related syscalls
| -rw-r--r-- | sys/freebsd/ksem.txt | 20 | ||||
| -rw-r--r-- | sys/freebsd/ksem.txt.const | 13 |
2 files changed, 33 insertions, 0 deletions
diff --git a/sys/freebsd/ksem.txt b/sys/freebsd/ksem.txt new file mode 100644 index 000000000..f7978dedf --- /dev/null +++ b/sys/freebsd/ksem.txt @@ -0,0 +1,20 @@ +# Copyright 2020 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +include <sys/types.h> +include <sys/ksem.h> +include <fcntl.h> + +resource semid[intptr] + +ksem_init(idp ptr[out, semid], value int32) +ksem_open(idp ptr[out, semid], name ptr[in, string], oflag flags[ksem_oflag], mode flags[open_mode], value int32) +ksem_unlink(name ptr[in, string]) +ksem_getvalue(id semid, val ptr[out, int32]) +ksem_destroy(id semid) +ksem_close(id semid) +ksem_post(id semid) +ksem_wait(id semid) +ksem_trywait(id semid) + +ksem_oflag = O_CREAT, O_EXCL diff --git a/sys/freebsd/ksem.txt.const b/sys/freebsd/ksem.txt.const new file mode 100644 index 000000000..898bbc416 --- /dev/null +++ b/sys/freebsd/ksem.txt.const @@ -0,0 +1,13 @@ +# Code generated by syz-sysgen. DO NOT EDIT. +arches = 386, amd64 +O_CREAT = 512 +O_EXCL = 2048 +SYS_ksem_close = 400 +SYS_ksem_destroy = 408 +SYS_ksem_getvalue = 407 +SYS_ksem_init = 404 +SYS_ksem_open = 405 +SYS_ksem_post = 401 +SYS_ksem_trywait = 403 +SYS_ksem_unlink = 406 +SYS_ksem_wait = 402 |