pub const KERN_KDSETBUF: i32 = 4;