Constant XTHAL_INTTYPE_TIMER 

pub const XTHAL_INTTYPE_TIMER: u32 = 4;