Type Definition esp_idf_bindgen::TickType_t

type TickType_t = u32;