pub const KERN_KDDFLAGS: i32 = 2;