Constant GPIO_INT0_IRQ6 

pub const GPIO_INT0_IRQ6: u32 = 34;