Constant GIC_V2_DISTRIBUTOR_SIZE 

pub const GIC_V2_DISTRIBUTOR_SIZE: u64 = 0x1000;