51,56d50
< distRange = RangeSize(params()->dist_addr,
< Gicv3Distributor::ADDR_RANGE_SIZE - 1);
< redistRange = RangeSize(params()->redist_addr,
< Gicv3Redistributor::ADDR_RANGE_SIZE * sys->numContexts() - 1);
< addrRanges = {distRange, redistRange};
< BaseGic::init();
70a65,73
> distRange = RangeSize(params()->dist_addr,
> Gicv3Distributor::ADDR_RANGE_SIZE - 1);
>
> redistSize = redistributors[0]->addrRangeSize;
> redistRange = RangeSize(params()->redist_addr,
> redistSize * sys->numContexts() - 1);
>
> addrRanges = {distRange, redistRange};
>
76a80,81
>
> BaseGic::init();
110,111c115,116
< daddr / Gicv3Redistributor::ADDR_RANGE_SIZE;
< daddr = daddr % Gicv3Redistributor::ADDR_RANGE_SIZE;
---
> daddr / redistSize;
> daddr = daddr % redistSize;
151,152c156,157
< daddr / Gicv3Redistributor::ADDR_RANGE_SIZE;
< daddr = daddr % Gicv3Redistributor::ADDR_RANGE_SIZE;
---
> daddr / redistSize;
> daddr = daddr % redistSize;