esp_idf_svc::sys

Type Alias TickType_t

Source 
pub type TickType_t = u32;