1#include <semaphore.h>
2#include <limits.h>
3
4int 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}