Constant KERN_CLOCKRATE

Source
pub const KERN_CLOCKRATE: i32 = 12;