Constant DEFAULT_GIC_DISTRIBUTOR_BASE

pub const DEFAULT_GIC_DISTRIBUTOR_BASE: u64 = 0xFFFF_0000;