Constant XSHAL_RESET_VECTOR_VADDR 

pub const XSHAL_RESET_VECTOR_VADDR: u32 = 1073742848;