Constant DDKERNELCAPS_LOCK 

pub const DDKERNELCAPS_LOCK: i32 = 8i32;