pub const KERN_HZ_TIMER: i32 = 65;