Symbol: _kern_get_sem_count