Constant uikit_sys::KERN_SEMAPHORE_DESTROYED

pub const KERN_SEMAPHORE_DESTROYED: u32 = 42;