Constant GPIO_INT0_IRQ3 

pub const GPIO_INT0_IRQ3: u32 = 7;