Constant GPIO_INT0_IRQ1 

pub const GPIO_INT0_IRQ1: u32 = 5;