Constant XSHAL_IOBLOCK_CACHED_VADDR 

pub const XSHAL_IOBLOCK_CACHED_VADDR: u32 = 1879048192;