Constant hvlite_defs::config::DEFAULT_GIC_DISTRIBUTOR_BASE

source ยท
pub const DEFAULT_GIC_DISTRIBUTOR_BASE: u64 = 0xFFFF_0000;