os/kernel/OS.h

47 typedef int32 sem_id;
183 	sem_id		sem;
209 extern sem_id		create_sem(int32 count, const char *name);
210 extern status_t		delete_sem(sem_id id);
211 extern status_t		acquire_sem(sem_id id);
212 extern status_t		acquire_sem_etc(sem_id id, int32 count, uint32 flags,
214 extern status_t		release_sem(sem_id id);
215 extern status_t		release_sem_etc(sem_id id, int32 count, uint32 flags);
218 extern status_t		switch_sem(sem_id semToBeReleased, sem_id id);
219 extern status_t		switch_sem_etc(sem_id semToBeReleased, sem_id id,
221 extern status_t		get_sem_count(sem_id id, int32 *threadCount);
222 extern status_t		set_sem_owner(sem_id id, team_id team);
225 extern status_t		_get_sem_info(sem_id id, struct sem_info *info,
316 	sem_id			sem;