Constant XCHAL_NMI_VECTOR_PADDR 

pub const XCHAL_NMI_VECTOR_PADDR: u32 = 1073742528;