pub const KERN_KDTHRMAP: c_int = 12;