Constant XCHAL_RESET_VECTOR0_VADDR 

pub const XCHAL_RESET_VECTOR0_VADDR: u32 = 1342177280;