esp_idf_sys

Constant SOC_RTC_DATA_HIGH

Source 
pub const SOC_RTC_DATA_HIGH: u32 = 1342185472;