esp_idf_svc::sys

Type Alias __timer_t

Source 
pub type __timer_t = u32;