Constant DEFAULT_GIC_DISTRIBUTOR_BASE 

pub const DEFAULT_GIC_DISTRIBUTOR_BASE: u64 = 0xFFFF_0000;