Constant GPIO_INT0_IRQ5 

pub const GPIO_INT0_IRQ5: u32 = 33;