pub const KERN_LOCK_OWNED: kern_return_t = 40;