00001 #ifndef SEMAPHORE_H 00002 #define SEMAPHORE_H 00003 00004 int semaphore_create( int value ); 00005 void semaphore_down( int s ); 00006 void semaphore_up( int s ); 00007 00008 #endif 00009