Symbol: _kern_get_sem_info