Type Definition mynewt::hw::hal::hal_gpio_irq_trigger

type hal_gpio_irq_trigger = u32;