pub const KERN_LOCK_SET_DESTROYED: kern_return_t = 38;