Constant GPIO_INT0_IRQ7 

pub const GPIO_INT0_IRQ7: u32 = 35;