[PATCH v2 03/10] KVM: arm: guest debug, define API headers

[Peter Maydell]

On 1 April 2015 at 17:01, Alex Bennée <alex.bennee at linaro.org> wrote:
>
> David Hildenbrand <dahi at linux.vnet.ibm.com> writes:

>>> +/*
>>> + * See ARM ARM D7.3: Debug Registers
>>
>> Maybe drop one ARM
>
> Well technically it is the ARM Architecture Reference Manual but that's
> quite long winded.

Dropping one "ARM" would be actively wrong, so don't do that.
You probably want to say 'v8 ARM ARM", assuming you mean that.

-- PMM