Constant KERN_LOCK_SET_DESTROYED 

pub const KERN_LOCK_SET_DESTROYED: c_int = 38;