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.