Constant XSHAL_ROM_AVAIL_VADDR 

pub const XSHAL_ROM_AVAIL_VADDR: u32 = 1342177280;