Constant libc::KERN_HARDCLOCK_TICKS

pub const KERN_HARDCLOCK_TICKS: c_int = 80;