TIMER1_IRQ_3

rp2350::interrupts

Constant TIMER1_IRQ_3 

Source 
pub const TIMER1_IRQ_3: u32 = 7;