Constant libc::KERN_KDTHRMAP

source ยท 
pub const KERN_KDTHRMAP: c_int = 12;