54c54,55
< irqNsacr(Gicv3::SGI_MAX + Gicv3::PPI_MAX)
---
> irqNsacr(Gicv3::SGI_MAX + Gicv3::PPI_MAX),
> addrRangeSize(gic->params()->gicv4 ? 0x40000 : 0x20000)