Constant KENCODED_TIMER_PROCESSOR 

pub const KENCODED_TIMER_PROCESSOR: u32 = 1u32;