pub const gpio_irq_trig_t_GPIO_TRIGGER_EDGE_BOTH: gpio_irq_trig_t = 196608;