_kern_release_sem_etc
extern status_t _kern_release_sem_etc(sem_id id, uint32 count, uint32 flags);
return _kern_release_sem_etc(id, count, flags);