TIMER32_INT1

msp432::nvic

Constant TIMER32_INT1 

Source 
pub const TIMER32_INT1: u32 = 25;