Constant hvlite_defs::config::DEFAULT_GIC_REDISTRIBUTORS_BASE
source ยท pub const DEFAULT_GIC_REDISTRIBUTORS_BASE: u64 = _; // 4_026_466_304u64
pub const DEFAULT_GIC_REDISTRIBUTORS_BASE: u64 = _; // 4_026_466_304u64