14 #define Semaphore_WAIT_FOREVER 0xFFFFFFFFU
30 kstat_t
create(
const name_t *name, sem_count_t count);
44 kstat_t
wait(uint32_t millisec);
kstat_t count_set(sem_count_t count)
kstat_t wait(uint32_t millisec)
kstat_t count_get(sem_count_t *count)
kstat_t create(const name_t *name, sem_count_t count)
kstat_t release_all(void)