Constant TIMER32_INT1

Source
pub const TIMER32_INT1: u32 = 25;