Constant KERN_HZ_TIMER

pub const KERN_HZ_TIMER: c_int = 65i32;