On 01/12/16 12:02, Peter Maydell wrote:
> On 1 December 2016 at 11:28, Andre Przywara <andre.przyw...@arm.com> wrote:
>> I don't think so. At least here as a _variable_ type uint32_t is
>> probably the right one, as the ARMv8 ARM explicitly says that PMCR is a
>> 32-bit register, for both bitnesses.
> For 64-bit ARM this is strictly speaking just shorthand for "64-bit
> register with the top 32-bit being RES0". It is in theory possible that
> a future architecture extension might define uses for those RES0
I trade: "in theory possible that a future architecture extension might"
(that's four speculative terms, right?) against:
ARMv8 ARM, D7.4.7 PMCR_EL0, Performance Monitors Control Register:
PMCR_EL0 is a 32-bit register.
If this ever gets extended, we would need extra code to deal with the
new bits, so we would need to touch the code anyway. And again, it's
just a local variable, not an interface.
P.S. We really should save this discussion for a Friday afternoon ;-)