pub const gpio_int_type_t_GPIO_INTR_MAX: u32 = 6; // 6u32