Constant KERN_HZ_TIMER 

pub const KERN_HZ_TIMER: c_int = 65;