Constant DDKERNELCAPS_SETSTATE 

pub const DDKERNELCAPS_SETSTATE: i32 = 4i32;