Constant GIC_DISTRIBUTOR_SIZE

pub const GIC_DISTRIBUTOR_SIZE: u64 = 0x1_0000;