Skip to content

Conversation

@piec
Copy link
Contributor

@piec piec commented Nov 4, 2016

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 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

Best,
Pierre

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant