sem_max_sems
extern int32 sem_max_sems(void);
if (numInfos < 0 || !check_max_fds(numInfos - sem_max_sems()
uint32 maxSems = sem_max_sems();
sem_max_sems() - sem_used_sems()));
state_to_string(sLowSemaphoresState), sem_max_sems() - sem_used_sems());
info->max_sems = sem_max_sems();
sem_max_sems());