pub const DDKERNELCAPS_SETSTATE: i32 = 4i32;