_kern_switch_sem_etc
extern status_t _kern_switch_sem_etc(sem_id releaseSem, sem_id id,
return _kern_switch_sem_etc(releaseSem, id, count, flags, timeout);