Constant mynewt::kernel::os::OS_TICKS_PER_SEC

pub const OS_TICKS_PER_SEC: u32 = 1000;