Constant libc::KERN_KDTHRMAP

pub const KERN_KDTHRMAP: c_int = 12;