Constant SOC_RTC_DRAM_HIGH 

pub const SOC_RTC_DRAM_HIGH: u32 = 1342185472;