Constant XSHAL_RAM_AVAIL_VADDR 

pub const XSHAL_RAM_AVAIL_VADDR: u32 = 1610612736;