Constant gpio_irq_level_GPIO_IRQ_LEVEL_HIGH 

pub const gpio_irq_level_GPIO_IRQ_LEVEL_HIGH: gpio_irq_level = 2;