Constant aarch64defs::GIC_REDISTRIBUTOR_SIZE

source ยท 
pub const GIC_REDISTRIBUTOR_SIZE: u64 = _; // 131_072u64