pub const KERN_KDSETUP: i32 = 6;