196a197,200
> /** GICD_IGROUPR0
> * interrupt group bits for first 32 interrupts, 1b per interrupt */
> uint32_t intGroup;
>
205c209,210
< intEnabled(0), pendingInt(0), activeInt(0), intPriority {0}
---
> intEnabled(0), pendingInt(0), activeInt(0),
> intGroup(0), intPriority {0}
252a258,271
> /** GICD_IGROUPR{1..31}
> * interrupt group bits for global interrupts
> * 1b per interrupt, 32 bits per word, 31 words */
> uint32_t intGroup[INT_BITS_MAX-1];
>
> uint32_t& getIntGroup(ContextID ctx, uint32_t ix) {
> assert(ix < INT_BITS_MAX);
> if (ix == 0) {
> return getBankedRegs(ctx).intGroup;
> } else {
> return intGroup[ix - 1];
> }
> }
>