Symbol: _kern_get_next_sem_info