Type Definition esp_idf_sys::GPIO_INT_TYPE

type GPIO_INT_TYPE = u32;