Constant XCHAL_VECBASE_RESET_VADDR 

pub const XCHAL_VECBASE_RESET_VADDR: u32 = 1073741824;