Constant XCHAL_TIMER2_INTERRUPT 

pub const XCHAL_TIMER2_INTERRUPT: u32 = 16;