Constant KERN_KDTHRMAP

Source
pub const KERN_KDTHRMAP: i32 = 12;