Constant hvlite_defs::config::DEFAULT_GIC_REDISTRIBUTORS_BASE

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