msp432::nvic

Constant TIMER32_INT1

Source 
pub const TIMER32_INT1: u32 = 25;