Constant DEFAULT_GIC_REDISTRIBUTORS_BASE

pub const DEFAULT_GIC_REDISTRIBUTORS_BASE: u64 = 0xEFFE_E000;