pub const KERN_KDTHRMAP: i32 = 12;