pub const DDKERNELCAPS_LOCK: i32 = 8i32;