Constant XCHAL_DRAM0_VADDR 

pub const XCHAL_DRAM0_VADDR: u32 = 1073217536;