Constant KERN_KDREADTR 

pub const KERN_KDREADTR: c_int = 10;