Constant KERN_MSGMNI 

pub const KERN_MSGMNI: i32 = 42;