44a45
> friend class Gicv3Redistributor;
52a54
> uint64_t redistSize;