Constant KERN_SEMAPHORE_DESTROYED 

pub const KERN_SEMAPHORE_DESTROYED: c_int = 42;