pub const KERN_KDGETBUF: i32 = 5;