2279c2279
< return icc_igrpen0_el1.Enable;
---
> return icc_igrpen0_el1.Enable && distributor->EnableGrp0;
2285c2285
< return icc_igrpen1_el1_s.Enable;
---
> return icc_igrpen1_el1_s.Enable && distributor->EnableGrp1S;
2291c2291
< return icc_igrpen1_el1_ns.Enable;
---
> return icc_igrpen1_el1_ns.Enable && distributor->EnableGrp1NS;