Constant XCHAL_TIMER3_INTERRUPT 

pub const XCHAL_TIMER3_INTERRUPT: i32 = -1;