Symbol: CTL_KERN_SEMINFO_NAMES