nrf52840::base_interrupts

Constant TIMER1

Source 
pub const TIMER1: u32 = 9; // 9u32