Constant XCHAL_XLMI0_VADDR 

pub const XCHAL_XLMI0_VADDR: u32 = 1072693248;