esp_idf_sys

Constant SOC_WIFI_HW_TSF

Source 
pub const SOC_WIFI_HW_TSF: u32 = 1;