84 int sem_destroy(sem_t *semaphore)  in sem_destroy()  argument
86 	if (semaphore == NULL) {  in sem_destroy()
91 	if (k_sem_count_get(semaphore)) {  in sem_destroy()
96 	k_sem_reset(semaphore);  in sem_destroy()
105 int sem_getvalue(sem_t *semaphore, int *value)  in sem_getvalue()  argument
107 	if (semaphore == NULL) {  in sem_getvalue()
112 	*value = (int) k_sem_count_get(semaphore);  in sem_getvalue()
121 int sem_init(sem_t *semaphore, int pshared, unsigned int value)  in sem_init()  argument
134 	k_sem_init(semaphore, value, CONFIG_POSIX_SEM_VALUE_MAX);  in sem_init()
144 int sem_post(sem_t *semaphore)  in sem_post()  argument
146 	if (semaphore == NULL) {  in sem_post()
151 	k_sem_give(semaphore);  in sem_post()
160 int sem_timedwait(sem_t *semaphore, struct timespec *abstime)  in sem_timedwait()  argument
186 	if (k_sem_take(semaphore, K_MSEC(timeout))) {  in sem_timedwait()
199 int sem_trywait(sem_t *semaphore)  in sem_trywait()  argument
201 	if (k_sem_take(semaphore, K_NO_WAIT) == -EBUSY) {  in sem_trywait()
214 int sem_wait(sem_t *semaphore)  in sem_wait()  argument
217 	(void)k_sem_take(semaphore, K_FOREVER);  in sem_wait()