Constant libc_interface::KERN_KDTHRMAP

pub const KERN_KDTHRMAP: c_int = 12;