Constant gpio_irq_level_GPIO_IRQ_EDGE_RISE 

pub const gpio_irq_level_GPIO_IRQ_EDGE_RISE: gpio_irq_level = 8;