pub const KERN_LOCK_SET_DESTROYED: i32 = 38;