Constant GIC_V2_CPU_INTERFACE_SIZE 

pub const GIC_V2_CPU_INTERFACE_SIZE: u64 = 0x2000;