Constant aarch64defs::GIC_REDISTRIBUTOR_FRAME_SIZE

pub const GIC_REDISTRIBUTOR_FRAME_SIZE: u64 = 0x1_0000;