Constant XCHAL_RESET_VECTOR1_VADDR 

pub const XCHAL_RESET_VECTOR1_VADDR: u32 = 1073742848;