|
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) |
| int sem_destroy | ( | sem_t * | sem | ) |
Definition at line 141 of file semaphore.c.
| int sem_getvalue | ( | sem_t * | sem, |
| int * | sval ) |
Definition at line 121 of file semaphore.c.
| int sem_init | ( | sem_t * | sem, |
| int | pshared, | ||
| unsigned int | value ) |
Definition at line 5 of file semaphore.c.
| int sem_post | ( | sem_t * | sem | ) |
Definition at line 82 of file semaphore.c.
| int sem_post_multiple | ( | sem_t * | sem, |
| int | number ) |
Definition at line 101 of file semaphore.c.
| int sem_timedwait | ( | sem_t * | sem, |
| const struct timespec * | abstime ) |
Definition at line 43 of file semaphore.c.
| int sem_trywait | ( | sem_t * | sem | ) |
Definition at line 63 of file semaphore.c.
| int sem_wait | ( | sem_t * | sem | ) |
Definition at line 24 of file semaphore.c.