rp2040::interrupts

Constant UART0_IRQ

Source 
pub const UART0_IRQ: u32 = 20;