Symbol: _kern_switch_sem
headers/private/system/syscalls.h
99
extern status_t _kern_switch_sem(sem_id releaseSem, sem_id id);
src/system/libroot/os/sem.c
45
return _kern_switch_sem(releaseSem, id);