pub const KERN_CLOCKRATE: i32 = 12;