esp_idf_sys

Constant CONFIG_SOC_WIFI_HW_TSF

Source 
pub const CONFIG_SOC_WIFI_HW_TSF: u32 = 1;