pub const KERN_KDREADTR: i32 = 10;