_kern_get_sem_count
extern status_t _kern_get_sem_count(sem_id id, int32* thread_count);
return _kern_get_sem_count(sem, count);