esp_idf_sys

Constant CONFIG_ESP32_TIME_SYSCALL_USE_RTC_HRT

Source 
pub const CONFIG_ESP32_TIME_SYSCALL_USE_RTC_HRT: u32 = 1;