Constant KERN_CLOCKRATE 

pub const KERN_CLOCKRATE: c_int = 12;