rp2350::interrupts

Constant TIMER1_IRQ_3

Source 
pub const TIMER1_IRQ_3: u32 = 7;