Constant CTL_KERN 

pub const CTL_KERN: i32 = 1;