diff options
Diffstat (limited to 'sys')
| -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 |