esp_idf_sys

Constant SOC_RTC_IRAM_HIGH

Source 
pub const SOC_RTC_IRAM_HIGH: u32 = 1342185472;