Constant GPIO_INT0_IRQ0 

pub const GPIO_INT0_IRQ0: u32 = 4;