Constant DEFAULT_GIC_REDISTRIBUTORS_BASE 

pub const DEFAULT_GIC_REDISTRIBUTORS_BASE: u64 = 0xEFFE_E000;