Constant configXT_TIMER_INDEX 

pub const configXT_TIMER_INDEX: u32 = 0;