# 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