pub const KERN_PRINTK: i32 = 23;