Constant SOC_RTC_IRAM_HIGH 

pub const SOC_RTC_IRAM_HIGH: u32 = 1342185472;