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