Constant XCHAL_EXTINT25_NUM 

pub const XCHAL_EXTINT25_NUM: u32 = 31;