hvlite_defs::config

Constant DEFAULT_GIC_REDISTRIBUTORS_BASE

Source 
pub const DEFAULT_GIC_REDISTRIBUTORS_BASE: u64 = _; // 4_026_466_304u64