Thanks for the clarification.

On 25 September 2014 14:53, Peter Maydell <peter.maydell@linaro.org> wrote:
On 25 September 2014 20:49, Greg Bellows <greg.bellows@linaro.org> wrote:
> Is it necessary to make SCR 64-bit if it is 32-bit on both v7 and v8?

See previous round of reviews -- all AArch64 system registers
are 64 bits ("32 bit" in the ARM ARM is just a shorthand for
"64 bit with the top half RES0"; there is no "read 32 bit
system register instruction) and so the struct fields must
be uint64_t.

thanks
-- PMM