Constant KERN_KDTHRMAP 

pub const KERN_KDTHRMAP: c_int = 12;