CBMC
|
#include <semaphore.h>
Go to the source code of this file.
Functions | |
int | sem_init (sem_t *sem, int pshared, unsigned int value) |
int | sem_wait (sem_t *sem) |
int | sem_timedwait (sem_t *sem, const struct timespec *abstime) |
int | sem_trywait (sem_t *sem) |
int | sem_post (sem_t *sem) |
int | sem_post_multiple (sem_t *sem, int number) |
int | sem_getvalue (sem_t *sem, int *sval) |
int | sem_destroy (sem_t *sem) |
Definition at line 141 of file semaphore.c.
Definition at line 121 of file semaphore.c.
Definition at line 5 of file semaphore.c.
Definition at line 82 of file semaphore.c.
Definition at line 101 of file semaphore.c.
Definition at line 43 of file semaphore.c.
Definition at line 63 of file semaphore.c.
Definition at line 24 of file semaphore.c.