Mi dite com' è la sintassi in C per creare un tipo pthread_lav che deve contenere le strutture dati di un semaforo,(anche solo un numero intero per il valore del semaforo)?

Grazie mille in anticipo