I think the GIC_REG_COUNT parameter is actually the number of records per 32 bit registry, not the name of bits per registry as the name implies (bit_per_reg). Or did I misunderstand?
For example in the case of gicd_itargetsr (below) there are 4 records of 8 bits (making 32 bits).
I edited with github's online editor so I hope everything builds fine :P
Hi,
I think the
GIC_REG_COUNT
parameter is actually the number of records per 32 bit registry, not the name of bits per registry as the name implies (bit_per_reg
). Or did I misunderstand? For example in the case ofgicd_itargetsr
(below) there are 4 records of 8 bits (making 32 bits).I edited with github's online editor so I hope everything builds fine :P
Best, Pierre