Constant XCHAL_INTLEVEL3_VECTOR_VADDR 

pub const XCHAL_INTLEVEL3_VECTOR_VADDR: u32 = 1073742272;