Constant KERN_LOCK_OWNED

Source
pub const KERN_LOCK_OWNED: i32 = 40;