Constant TIMEBASE_FREQUENCY 

pub const TIMEBASE_FREQUENCY: u32 = 12000000u32;