Constant DMA_IRQ_3 

pub const DMA_IRQ_3: u32 = 13;