1 #include <semaphore.h>
2 #include <limits.h>
3 
sem_getvalue(sem_t *restrict sem, int *restrict valp)4 int sem_getvalue(sem_t *restrict sem, int *restrict valp)
5 {
6 	int val = sem->__val[0];
7 	*valp = val & SEM_VALUE_MAX;
8 	return 0;
9 }
10