pub const KERN_HARDCLOCK_TICKS: c_int = 80;