sem_post
int sem_post(sem_t *);
__weak_alias(sem_post,_librt_sem_post)
sem_post(semaddr);
sem_post(&sigsem);
sem_post(&sigsem);
SEM_REQUIRE(sem_post(&sem_b));
SEM_REQUIRE(sem_post(&sem_b));
SEM_REQUIRE(sem_post(&sem_b));
SEM_REQUIRE(sem_post(&sem_b));
SEM_REQUIRE(sem_post(&sem_a));
SEM_REQUIRE(sem_post(&sem));
ATF_REQUIRE_EQ(sem_post(sem_b), 0);
ATF_REQUIRE_EQ(sem_post(sem_b), 0);
ATF_REQUIRE_EQ(sem_post(sem_b), 0);
ATF_REQUIRE_EQ(sem_post(sem_a), 0);
ATF_REQUIRE_EQ(sem_post(&master_region->the_sem), 0);
ATF_REQUIRE_EQ(sem_post(sem_b), 0);
sem_post(&semmarit[2]);
sem_post(&semmarit[0]);
sem_post(&semmarit[1]);
sem_post(&semmarit[0]);
sem_post(&semmarit[1]);
ATF_REQUIRE_EQ(sem_post(sem2), 0);
sem_post(sem1);
sem_post(&sem);
sem_post(&sem);
sem_post(&sem1);
sem_post(&sem2);
sem_post(&sigsem);
sem_post(&exportsem);
sem_post(&gensem);
sem_post(&gensem);